virt2phys: support 64bit