Searched refs:kernel_filename (Results 1 – 1 of 1) sorted by relevance
2054 const char *kernel_filename = NULL; in semanage_read_policydb() local2058 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() local2100 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()[all …]