Constant TD_TOKEN_DEVADDR_SHIFT 

const TD_TOKEN_DEVADDR_SHIFT: u32 = 9;