879 static int __cil_verify_context(struct cil_db *db, struct cil_context *ctx)  in __cil_verify_context()
960 	struct cil_context *ctx = node->data;  in __cil_verify_named_context()
1138 	struct cil_context *if_ctx = netif->if_context;  in __cil_verify_netifcon()
1139 	struct cil_context *pkt_ctx = netif->packet_context;  in __cil_verify_netifcon()
1168 	struct cil_context *ctx = ib_end_port->context;  in __cil_verify_ibendportcon()
1188 	struct cil_context *ctx = genfs->context;  in __cil_verify_genfscon()
1209 	struct cil_context *ctx = file->context;  in __cil_verify_filecon()
1235 	struct cil_context *ctx = nodecon->context;  in __cil_verify_nodecon()
1256 	struct cil_context *ctx = pkey->context;  in __cil_verify_ibpkeycon()
1276 	struct cil_context *ctx = port->context;  in __cil_verify_portcon()
1297 	struct cil_context *ctx = pirq->context;  in __cil_verify_pirqcon()
1318 	struct cil_context *ctx = iomem->context;  in __cil_verify_iomemcon()
1339 	struct cil_context *ctx = ioport->context;  in __cil_verify_ioportcon()
1360 	struct cil_context *ctx = pcidev->context;  in __cil_verify_pcidevicecon()
1381 	struct cil_context *ctx = dt->context;  in __cil_verify_devicetreecon()
1402 	struct cil_context *ctx = fsuse->context;  in __cil_verify_fsuse()