Lines Matching refs:KERNEL
30 #if( !KERNEL )92 // iDebug (Mac OS X user and kernel)99 // kprintf (Mac OS X Kernel)105 // Mac OS X IOLog (Mac OS X Kernel)
