Searched defs:MIGKUFLAGS (Results 1 – 3 of 3) sorted by relevance
33 MIGKUFLAGS = -DMACH_KERNEL_PRIVATE -DKERNEL_USER=1 -maxonstack 1024 macro
34 MIGKUFLAGS = -DMACH_KERNEL_PRIVATE -DKERNEL_USER=1 -maxonstack 1024 macro