The text f28d2fd32ccb, as FreeBSD 12.1-RELEASE shipped it.
kernel source file style guide
style(9) on FreeBSD now