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