506 int __cil_verify_levelrange_sensitivity(struct cil_db *db, struct cil_sens *low, struct cil_sens *h…  in __cil_verify_levelrange_sensitivity()
563 int __cil_verify_levelrange(struct cil_db *db, struct cil_levelrange *lr)  in __cil_verify_levelrange()
595 int __cil_verify_named_levelrange(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_named_levelrange()
651 static int __cil_verify_user_post_eval(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_user_post_eval()
732 int __cil_verify_context(struct cil_db *db, struct cil_context *ctx)  in __cil_verify_context()
810 int __cil_verify_named_context(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_named_context()
985 int __cil_verify_netifcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_netifcon()
1015 int __cil_verify_ibendportcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ibendportcon()
1035 int __cil_verify_genfscon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_genfscon()
1056 int __cil_verify_filecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_filecon()
1082 int __cil_verify_nodecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_nodecon()
1103 int __cil_verify_ibpkeycon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ibpkeycon()
1123 int __cil_verify_portcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_portcon()
1144 int __cil_verify_pirqcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_pirqcon()
1165 int __cil_verify_iomemcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_iomemcon()
1186 int __cil_verify_ioportcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ioportcon()
1207 int __cil_verify_pcidevicecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_pcidevicecon()
1228 int __cil_verify_devicetreecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_devicetreecon()
1249 int __cil_verify_fsuse(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_fsuse()
1386 	struct cil_db *db = NULL;  in __cil_verify_helper()