Constant EXT_DEVICE_FAULT_SPEC_VERSION 

pub const EXT_DEVICE_FAULT_SPEC_VERSION: u32 = 2u32;