336     int tpr, isrv, ppr;  in apic_get_ppr()  local
339     isrv = get_highest_priority_int(s->isr);  in apic_get_ppr()
340     if (isrv < 0)  in apic_get_ppr()
341         isrv = 0;  in apic_get_ppr()
342     isrv >>= 4;  in apic_get_ppr()
343     if (tpr >= isrv)  in apic_get_ppr()
346         ppr = isrv << 4;  in apic_get_ppr()
395     int isrv;  in apic_eoi()  local
396     isrv = get_highest_priority_int(s->isr);  in apic_eoi()
397     if (isrv < 0)  in apic_eoi()
399     reset_bit(s->isr, isrv);  in apic_eoi()