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