Searched refs:barrelfish_id_counter (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_interrupts_arch.c36 static coreid_t barrelfish_id_counter = 1; local
176 barrelfish_id = barrelfish_id_counter++;
/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c29 static coreid_t barrelfish_id_counter = 1; variable
114 barrelfish_id = barrelfish_id_counter++;
316 barrelfish_id = barrelfish_id_counter++;
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_interrupts_arch.c181 static coreid_t barrelfish_id_counter = 1; local
233 barrelfish_id = barrelfish_id_counter++;

Completed in 227 milliseconds