Searched defs:irrptr (Results 1 – 1 of 1) sorted by relevance
269 uint32_t *irrptr, *tmrptr, mask; in vlapic_set_intr_ready() local1234 uint32_t *irrptr, val; in vlapic_pending_intr() local1265 uint32_t *irrptr, *isrptr; in vlapic_intr_accepted() local