[][src]Type Definition vex_sys::VexArch

type VexArch = u32;