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

/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c40 static uint32_t num_ioapics = 0; variable
78 num_ioapics = num_ioapic;
90 if (ioapic >= num_ioapics || pin >= IOAPIC_IRQ_LINES) {
109 if (num_ioapics == 0) {
114 if (ioapic >= num_ioapics) {
115 userError("Invalid IOAPIC %ld, only have %ld", (long)ioapic, (long)num_ioapics);
118 current_syscall_error.rangeErrorMax = num_ioapics - 1;

Completed in 50 milliseconds