calculate vaddr properly