Constant SBSDIO_FUNC1_SBADDRHIGH 

const SBSDIO_FUNC1_SBADDRHIGH: u32 = 0x1000C;