pub type DeviceFaultAddressTypeEXT = i32;