FIXUP_PC_AFTER_BREAK   87 ddb/db_run.c   #ifdef	FIXUP_PC_AFTER_BREAK
FIXUP_PC_AFTER_BREAK   93 ddb/db_run.c   		FIXUP_PC_AFTER_BREAK(regs);
FIXUP_PC_AFTER_BREAK  346 kern/kgdb_stub.c #ifdef	FIXUP_PC_AFTER_BREAK
FIXUP_PC_AFTER_BREAK  347 kern/kgdb_stub.c 		FIXUP_PC_AFTER_BREAK(regs);