Lines Matching defs:isrptr
472 uint32_t *isrptr;
474 isrptr = &vlapic->apic_page->isr0;
476 printf("ISR%d 0x%08x\n", i, isrptr[i * 4]);
504 uint32_t *isrptr;
528 isrptr = &vlapic->apic_page->isr0;
531 if (isrptr[idx] & (1 << (vector % 32))) {
564 uint32_t *isrptr, *tmrptr;
567 isrptr = &lapic->isr0;
572 bitpos = fls(isrptr[idx]);
578 isrptr[idx] &= ~(1 << bitpos);
1132 uint32_t *irrptr, *isrptr;
1148 isrptr = &lapic->isr0;
1149 isrptr[idx] |= 1 << (vector % 32);