Better variable names vaddr and paddr