name : kernel_to_conf.h #include <stdlib.h> #include <sepol/policydb/policydb.h> int sepol_kernel_policydb_to_conf(FILE *fp, struct policydb *pdb);