All symbols starting with `k' in osfmk/i386/AT386/mp

• kdb_console osfmk/i386/AT386/mp/mp_v1_1.c:172