Constant x86_64::regs::BOOT_IDT_OFFSET

source · 
const BOOT_IDT_OFFSET: u64 = 0x1528;