MachとBSDのインタフェース Rev.2を表示中。最新版はこちら。 osfmk/kern/bsd_kern.cBSDカーネル(bsd/配下)とのインタフェースルーチンがある。astbsd_on() - AST_BSDを発生させるBSDのH/Wタイマ処理(bsd/kern/kern_clock.c::bsd_hardclock())から呼ばれている。