The text df8e5eba7f3b, as FreeBSD 7.2-RELEASE shipped it.
enter and exit a critical region
critical_exit(9) on FreeBSD now
