2054 	const char *kernel_filename = NULL;  in semanage_read_policydb()  local
2058 	if ((kernel_filename =  in semanage_read_policydb()
2062 	if ((infile = fopen(kernel_filename, "r")) == NULL) {  in semanage_read_policydb()
2064 		    kernel_filename);  in semanage_read_policydb()
2076 		    kernel_filename);  in semanage_read_policydb()
2096 	const char *kernel_filename = NULL;  in semanage_write_policydb()  local
2100 	if ((kernel_filename =  in semanage_write_policydb()
2104 	if ((outfile = fopen(kernel_filename, "wb")) == NULL) {  in semanage_write_policydb()
2106 		    kernel_filename);  in semanage_write_policydb()
2118 		    kernel_filename);  in semanage_write_policydb()
2185 	const char *kernel_filename =  in semanage_verify_kernel()  local
2193 		if (semanage_exec_prog(sh, e, kernel_filename, "$<") != 0) {  in semanage_verify_kernel()