carta

KASSERT(9) on FreeBSD

The text ecbc2ed0ffd1, as FreeBSD 10.4-RELEASE shipped it.

kernel expression verification macro

KASSERT(9) on FreeBSD now