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