Searched refs:CONCLAVE_SERVICE_MAX (Results 1 – 3 of 3) sorted by relevance
101 #define CONCLAVE_SERVICE_MAX 192 macro112 bitmap_t c_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)];
77 kernel_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)] = {0};567 assert3u(resource->r_id, <, CONCLAVE_SERVICE_MAX); in exclaves_resource_init()1271 assert3u(id, <, CONCLAVE_SERVICE_MAX); in exclaves_conclave_has_service()
314 if (identifier >= CONCLAVE_SERVICE_MAX) { in _exclaves_ctl_trap()