Type Definition libvex::Addr[][src]

type Addr = u32;