pub type vaddr = usize;
vaddr: Type wide enough to contain any #target_ulong virtual address. We do not support 64-bit guest on 32-host and detect at configure time. Therefore, a host pointer width will always fit a guest pointer.