Searched refs:kernel_filename (Results 1 – 1 of 1) sorted by relevance
2103 const char *kernel_filename = NULL; in semanage_read_policydb() local2107 if ((kernel_filename = in semanage_read_policydb()2111 if ((infile = fopen(kernel_filename, "r")) == NULL) { in semanage_read_policydb()2113 kernel_filename); in semanage_read_policydb()2125 kernel_filename); in semanage_read_policydb()2145 const char *kernel_filename = NULL; in semanage_write_policydb() local2150 if ((kernel_filename = in semanage_write_policydb()2154 if ((outfile = fopen(kernel_filename, "wb")) == NULL) { in semanage_write_policydb()2156 kernel_filename); in semanage_write_policydb()2168 kernel_filename); in semanage_write_policydb()[all …]