479 	uint32_t *isrptr;  in dump_isrvec_stk()  local
481 	isrptr = &vlapic->apic_page->isr0;  in dump_isrvec_stk()
483 		printf("ISR%d 0x%08x\n", i, isrptr[i * 4]);  in dump_isrvec_stk()
511 		uint32_t *isrptr;  in vlapic_update_ppr()  local
535 		isrptr = &vlapic->apic_page->isr0;  in vlapic_update_ppr()
538 			if (isrptr[idx] & (1 << (vector % 32))) {  in vlapic_update_ppr()
571 	uint32_t	*isrptr, *tmrptr;  in vlapic_process_eoi()  local
574 	isrptr = &lapic->isr0;  in vlapic_process_eoi()
579 		bitpos = fls(isrptr[idx]);  in vlapic_process_eoi()
585 			isrptr[idx] &= ~(1 << bitpos);  in vlapic_process_eoi()
1265 	uint32_t	*irrptr, *isrptr;  in vlapic_intr_accepted()  local
1281 	isrptr = &lapic->isr0;  in vlapic_intr_accepted()
1282 	isrptr[idx] |= 1 << (vector % 32);  in vlapic_intr_accepted()