Constant x86_64::regs::BOOT_GDT_OFFSET

const BOOT_GDT_OFFSET: u64 = 0x1500;