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