pub type WHV_INTERRUPT_TYPE = i32;