Constant vex_sys::S390_REGNO_GUEST_STATE_POINTER[−][src]

pub const S390_REGNO_GUEST_STATE_POINTER: u32 = 13;