FreeBSD manual

No entry for cpu_empty in section 9 of the manual