Functions in bsd/kern