Searched defs:kernel_filename (Results 1 – 1 of 1) sorted by relevance
2017 const char *kernel_filename = NULL; in semanage_read_policydb() local2059 const char *kernel_filename = NULL; in semanage_write_policydb() local2148 const char *kernel_filename = in semanage_verify_kernel() local