Symbol: TD_VADDR