Type Definition vaddr
Other items inpanda_sys
type vaddr = u64;
vaddr: Type wide enough to contain any #target_ulong virtual address.