pub const WHvRegisterPendingInterruption: WHV_REGISTER_NAME = -2147483648i32;