pub type DEVICE_RESET_TYPE = i32;