Searched refs:lapic_register_t (Results 1 – 2 of 2) sorted by relevance
163 } lapic_register_t; typedef178 uint32_t (*read)(lapic_register_t);179 void (*write)(lapic_register_t, uint32_t);188 #define LAPIC_READ_OFFSET(reg, off) LAPIC_READ((lapic_register_t)((reg)+(off)))
174 legacy_read(lapic_register_t reg) in legacy_read()180 legacy_write(lapic_register_t reg, uint32_t value) in legacy_write()225 x2apic_read(lapic_register_t reg) in x2apic_read()239 x2apic_write(lapic_register_t reg, uint32_t value) in x2apic_write()