269 	uint32_t *irrptr, *tmrptr, mask;  in vlapic_set_intr_ready()  local
302 	tmrptr = &lapic->tmr0;  in vlapic_set_intr_ready()
303 	if ((tmrptr[idx] & mask) != (level ? mask : 0)) {  in vlapic_set_intr_ready()
305 		    "interrupt is %s-triggered", idx / 4, tmrptr[idx],  in vlapic_set_intr_ready()
571 	uint32_t	*isrptr, *tmrptr;  in vlapic_process_eoi()  local
575 	tmrptr = &lapic->tmr0;  in vlapic_process_eoi()
591 			if ((tmrptr[idx] & (1 << bitpos)) != 0) {  in vlapic_process_eoi()
1745 	uint32_t *tmrptr, mask;  in vlapic_set_tmr()  local
1749 	tmrptr = &lapic->tmr0;  in vlapic_set_tmr()
1753 		tmrptr[idx] |= mask;  in vlapic_set_tmr()
1755 		tmrptr[idx] &= ~mask;  in vlapic_set_tmr()