2017 	const char *kernel_filename = NULL;  in semanage_read_policydb()  local
2021 	if ((kernel_filename =  in semanage_read_policydb()
2026 	if ((infile = fopen(kernel_filename, "r")) == NULL) {  in semanage_read_policydb()
2028 		    kernel_filename);  in semanage_read_policydb()
2040 		    kernel_filename);  in semanage_read_policydb()
2059 	const char *kernel_filename = NULL;  in semanage_write_policydb()  local
2063 	if ((kernel_filename =  in semanage_write_policydb()
2067 	if ((outfile = fopen(kernel_filename, "wb")) == NULL) {  in semanage_write_policydb()
2069 		    kernel_filename);  in semanage_write_policydb()
2081 		    kernel_filename);  in semanage_write_policydb()
2148 	const char *kernel_filename =  in semanage_verify_kernel()  local
2156 		if (semanage_exec_prog(sh, e, kernel_filename, "$<") != 0) {  in semanage_verify_kernel()