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