Constant x86_64::regs::BOOT_IDT_OFFSET

const BOOT_IDT_OFFSET: u64 = 0x1528;