Symbol: VADDR_TO_VSID