pub const IrqPolicyMachineDefault: IRQ_DEVICE_POLICY = 0i32;