Constant devices::irqchip::userspace::X86_CR0_INIT

const X86_CR0_INIT: u64 = _; // 1_610_612_752u64

Default power on state of CR0 register, according to the Intel manual.