#include <iris/arch/x86/amd64/core/global_state.h>
Public Attributes | |
| GlobalIrqNumber | external_irq_offset { 32 } |
| bool | use_apic { false } |
| di::Array< iris::x86::amd64::idt::Entry, 256 > | idt {} |
| GlobalIrqNumber iris::arch::ReadonlyGlobalState::external_irq_offset { 32 } |
| di::Array<iris::x86::amd64::idt::Entry, 256> iris::arch::ReadonlyGlobalState::idt {} |
| bool iris::arch::ReadonlyGlobalState::use_apic { false } |