Searched refs:CONCLAVE_SERVICE_MAX (Results 1 – 3 of 3) sorted by relevance
98 #define CONCLAVE_SERVICE_MAX 128 macro104 bitmap_t c_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)];
78 kernel_service_bitmap[BITMAP_LEN(CONCLAVE_SERVICE_MAX)] = {0};594 assert3u(resource->r_id, <, CONCLAVE_SERVICE_MAX); in exclaves_resource_init()1619 assert3u(id, <, CONCLAVE_SERVICE_MAX); in exclaves_conclave_has_service()
339 if (identifier >= CONCLAVE_SERVICE_MAX) { in _exclaves_ctl_trap()