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

/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c77 static cpu_id_t ioapic_target_cpu = 0; variable
82 ioapic_target_cpu = cpu_list[0];
159 ioredtbl_high |= (ioapic_target_cpu << IOREDTBL_HIGH_RESERVED_BITS);

Completed in 27 milliseconds