Lines Matching defs:isrptr
470 uint32_t *isrptr;
472 isrptr = &vlapic->apic_page->isr0;
474 printf("ISR%d 0x%08x\n", i, isrptr[i * 4]);
502 uint32_t *isrptr;
526 isrptr = &vlapic->apic_page->isr0;
529 if (isrptr[idx] & (1 << (vector % 32))) {
556 uint32_t *isrptr, *tmrptr;
559 isrptr = &lapic->isr0;
564 bitpos = fls(isrptr[idx]);
570 isrptr[idx] &= ~(1 << bitpos);
1119 uint32_t *irrptr, *isrptr;
1135 isrptr = &lapic->isr0;
1136 isrptr[idx] |= 1 << (vector % 32);