Searched refs:icr_hi (Results 1 – 2 of 2) sorted by relevance
1039 icrval = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_icrlo_write_handler()1287 data = lapic->icr_hi; in vlapic_read()1363 lapic->icr_hi = data; in vlapic_write()1465 lapic->icr_hi = 0; in vlapic_reset()1863 out_page->vlp_icr = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_data_read()2007 lapic->icr_hi = (uint32_t)(page->vlp_icr >> 32); in vlapic_data_write()
177 u_int32_t icr_hi; PAD3; member