pub type WHV_INTERRUPT_DESTINATION_MODE = i32;