Searched refs:kernel_service_bitmap (Results 1 – 1 of 1) sorted by relevance
74 kernel_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)] = {0}; variable507 bitmap_set(kernel_service_bitmap, in populate_conclave_services()1549 return bitmap_test(kernel_service_bitmap, (uint32_t)id); in exclaves_conclave_has_service()