38#ifndef __ARCH_X86_X86TRAITS_HH__
39#define __ARCH_X86_X86TRAITS_HH__
94 assert(
addr < (1 << 12));
Defines global host-dependent types: Counter, Tick, and (indirectly) {int,uint}{8,...
const Addr PhysAddrPrefixInterrupts
const Addr PhysAddrPrefixPciConfig
const Addr IntAddrPrefixIO
const Addr PhysAddrAPICRangeSize
static Addr x86IOAddress(const uint32_t port)
const int NumMicroIntRegs
const Addr PhysAddrPrefixIO
const Addr IntAddrPrefixCPUID
const Addr IntAddrPrefixMSR
const Addr IntAddrPrefixMask
const Addr PhysAddrPrefixLocalAPIC
static Addr x86LocalAPICAddress(const uint8_t id, const uint16_t addr)
static Addr x86PciConfigAddress(const uint32_t addr)
static Addr x86InterruptAddress(const uint8_t id, const uint16_t addr)
Copyright (c) 2024 - Pranith Kumar Copyright (c) 2020 Inria All rights reserved.
uint64_t Addr
Address type This will probably be moved somewhere else in the near future.