- void (*init) (void);
- uint32_t (*read) (lapic_register_t);
- void (*write)(lapic_register_t, uint32_t);
+ void (*init) (void);
+ uint32_t (*read) (lapic_register_t);
+ void (*write) (lapic_register_t, uint32_t);
+ uint64_t (*read_icr) (void);
+ void (*write_icr) (uint32_t, uint32_t);