Searched refs:my_hw_id (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dacpi_shared.h27 extern uintptr_t my_hw_id;
H A Dacpi_main.c34 uintptr_t my_hw_id; variable
120 if(sscanf(argv[i], "apicid=%" PRIuPTR, &my_hw_id) == 1) {
H A Dacpi_parse_madt.c111 if (my_hw_id == s->Id) {
313 if (my_hw_id == s->Uid) {
/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_interrupts_arch.c172 if (my_hw_id == gi->Uid) {
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_interrupts_arch.c229 if (my_hw_id == s->Id) {
460 dest_apicid = my_hw_id;

Completed in 40 milliseconds