The text b60ea94df0b7, as Debian 11 (Bullseye) shipped it.
Returns the high half of the product of x and y.
mul_hi(3clc) on Linux now
