Type Definition libvex_sys::Addr64 [] [src]

type Addr64 = ULong;