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