View file File name : kernel_to_cil.h Content :#include <stdlib.h> #include <sepol/policydb/policydb.h> int sepol_kernel_policydb_to_cil(FILE *fp, struct policydb *pdb);