Franco Fichtner 0943973f20 */*: sync with upstream ... Taken from: HardenedBSD		2018-12-31 19:24:00 +01:00
..
patch-bsd_kernel.cc	*/*: sync with upstream	2018-12-31 19:24:00 +01:00