95a96
> const Addr PhysAddrPrefixInterrupts = ULL(0x2000000000000000);
117a119,125
>
> static inline Addr
> x86InterruptAddress(const uint8_t id, const uint16_t addr)
> {
> assert(addr < PhysAddrAPICRangeSize);
> return PhysAddrPrefixInterrupts | (id * PhysAddrAPICRangeSize) | addr;
> }