Searched refs:ICRD (Results 1 – 2 of 2) sorted by relevance
153 ICRD = 0x31, enumerator
189 return (((uint64_t)*LAPIC_MMIO(ICRD)) << 32) | ((uint64_t)*LAPIC_MMIO(ICR)); in legacy_read_icr()195 *LAPIC_MMIO(ICRD) = dst << LAPIC_ICRD_DEST_SHIFT; in legacy_write_icr()