508 int __cil_verify_levelrange_sensitivity(struct cil_db *db, struct cil_sens *low, struct cil_sens *h…  in __cil_verify_levelrange_sensitivity()
565 int __cil_verify_levelrange(struct cil_db *db, struct cil_levelrange *lr)  in __cil_verify_levelrange()
597 int __cil_verify_named_levelrange(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_named_levelrange()
653 static int __cil_verify_user_post_eval(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_user_post_eval()
734 int __cil_verify_context(struct cil_db *db, struct cil_context *ctx)  in __cil_verify_context()
812 int __cil_verify_named_context(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_named_context()
987 int __cil_verify_netifcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_netifcon()
1017 int __cil_verify_ibendportcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ibendportcon()
1037 int __cil_verify_genfscon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_genfscon()
1058 int __cil_verify_filecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_filecon()
1084 int __cil_verify_nodecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_nodecon()
1105 int __cil_verify_ibpkeycon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ibpkeycon()
1125 int __cil_verify_portcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_portcon()
1146 int __cil_verify_pirqcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_pirqcon()
1167 int __cil_verify_iomemcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_iomemcon()
1188 int __cil_verify_ioportcon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_ioportcon()
1209 int __cil_verify_pcidevicecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_pcidevicecon()
1230 int __cil_verify_devicetreecon(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_devicetreecon()
1251 int __cil_verify_fsuse(struct cil_db *db, struct cil_tree_node *node)  in __cil_verify_fsuse()
1388 	struct cil_db *db = NULL;  in __cil_verify_helper()