2012 	const char *kernel_filename = NULL;  in semanage_read_policydb()  local
2016 	if ((kernel_filename =  in semanage_read_policydb()
2020 	if ((infile = fopen(kernel_filename, "r")) == NULL) {  in semanage_read_policydb()
2022 		    kernel_filename);  in semanage_read_policydb()
2034 		    kernel_filename);  in semanage_read_policydb()
2053 	const char *kernel_filename = NULL;  in semanage_write_policydb()  local
2057 	if ((kernel_filename =  in semanage_write_policydb()
2061 	if ((outfile = fopen(kernel_filename, "wb")) == NULL) {  in semanage_write_policydb()
2063 		    kernel_filename);  in semanage_write_policydb()
2075 		    kernel_filename);  in semanage_write_policydb()
2142 	const char *kernel_filename =  in semanage_verify_kernel()  local
2150 		if (semanage_exec_prog(sh, e, kernel_filename, "$<") != 0) {  in semanage_verify_kernel()