MachとBSDのインタフェース osfmk/kern/bsd_kern.cBSDカーネル(bsd/配下)とのインタフェースルーチンがある。astbsd_on() - BSD側からASTを発生させる。BSD側のH/Wタイマ処理(bsd/kern/kern_clock.c::bsd_hardclock())から呼ばれている。