/* Interface to bare machine for GDB running as kernel debugger.
- Copyright (C) 1986, 1989, 1991 Free Software Foundation, Inc.
+ Copyright 1986, 1989, 1991, 1992, 1993, 1995, 1996, 2000, 2001
+ Free Software Foundation, Inc.
This file is part of GDB.
kill_command (void)
{
- inferior_pid = 0;
+ inferior_ptid = null_ptid;
}
terminal_inferior (void)
wait (WAITTYPE *w)
{
WSETSTOP (*w, fault_table[fault_code / FAULT_CODE_UNITS]);
- return inferior_pid;
+ return PIDGET (inferior_ptid);
}
\f
/* Allocate a big space in which files for kdb to read will be stored.