Searched refs:isrv (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 391 uint32_t tpr, isrv, ppr, old_ppr; local
398 isrv = (isr != -1) ? isr : 0;
400 if ((tpr & 0xf0) >= (isrv & 0xf0)) {
403 ppr = isrv & 0xf0;
406 apic_debug(6, "vlapic %p, ppr 0x%x, isr 0x%x, isrv 0x%x\n",
407 apic, ppr, isr, isrv);
|
Completed in 26 milliseconds