The text e60288deaa4b, as FreeBSD 12.4-RELEASE shipped it.
PS/2 mouse style pointing device driver
psm(4) on FreeBSD now