Searched refs:icr_hi (Results 1 – 2 of 2) sorted by relevance
1045 icrval = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_icrlo_write_handler()1415 *data |= (uint64_t)lapic->icr_hi << 32; in vlapic_read()1418 *data = lapic->icr_hi; in vlapic_read()1515 lapic->icr_hi = data >> 32; in vlapic_write()1519 lapic->icr_hi = data; in vlapic_write()
175 u_int32_t icr_hi; PAD3; member