Constant WHvRegisterPendingInterruption 

pub const WHvRegisterPendingInterruption: WHV_REGISTER_NAME;