Constant bad64_sys::Register_REG_X12[][src]

pub const Register_REG_X12: Register = 46;