Constant WHvRegisterInterruptState 

pub const WHvRegisterInterruptState: WHV_REGISTER_NAME;