Macros starting with `k' in osfmk/ppc

• KDB_RESTORE osfmk/ppc/db_interface.c:577
• KDB_RESTORE_CTXT osfmk/ppc/db_interface.c:600
• KDB_SAVE osfmk/ppc/db_interface.c:576
• KDB_SAVE_CTXT osfmk/ppc/db_interface.c:583