Searched refs:domain_cap_counter (Results 1 - 1 of 1) sorted by path

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c288 static uint32_t domain_cap_counter = 1; variable
987 if (domain_cap_counter + count >= UINT32_MAX) {
994 temp_cap.u.domain.core_local_id = domain_cap_counter++;

Completed in 106 milliseconds