Lines Matching defs:isrptr

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