Constant WDBGEXTS_ADDRESS_RESERVED0

pub const WDBGEXTS_ADDRESS_RESERVED0: u32 = 2147483648u32;