58,59d57
< #include "sim/host.hh"
<
62a61,64
> #include <assert.h>
>
> #include "sim/host.hh"
>
92a95,98
> const Addr PhysAddrPrefixLocalAPIC = ULL(0xA000000000000000);
> // Each APIC gets two pages. One page is used for local apics to field
> // accesses from the CPU, and the other is for all APICs to communicate.
> const Addr PhysAddrAPICRangeSize = 1 << 12;
104a111,117
>
> static inline Addr
> x86LocalAPICAddress(const uint8_t id, const uint16_t addr)
> {
> assert(addr < (1 << 12));
> return PhysAddrPrefixLocalAPIC | (id * (1 << 12)) | addr;
> }