/usr/include/sepol/kernel_to_conf.h is in libsepol1-dev 2.7-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | #include <stdlib.h>
#include <sepol/policydb/policydb.h>
int sepol_kernel_policydb_to_conf(FILE *fp, struct policydb *pdb);
|