夏侯淵
212年、夏侯淵に従い、鄜の梁興と武都の氐族を討った。