diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-05 22:03:13 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-08 23:55:22 +0900 |
commit | a662fd0fb171133e8983ee1520a3160b86062167 (patch) | |
tree | e77ca56ffd9ae96c361e3fed4dbeb8b7507e46ac | |
parent | 255638fec41bf310aa90cddd238e2251caadfc92 (diff) |
i386/i386/db_interface.c: use boolean instead of an int
* i386/i386/db_interface.c (kernel_dr): Use boolean instead of an int.
-rw-r--r-- | i386/i386/db_interface.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/i386/i386/db_interface.c b/i386/i386/db_interface.c index a8ac52a..a59ed37 100644 --- a/i386/i386/db_interface.c +++ b/i386/i386/db_interface.c @@ -61,7 +61,7 @@ #if MACH_KDB /* Whether the kernel uses any debugging register. */ -static int kernel_dr; +static boolean_t kernel_dr; #endif void db_load_context(pcb_t pcb) @@ -137,7 +137,7 @@ void db_dr ( splx(s); return; } - kernel_dr = 1; + kernel_dr = TRUE; /* Clear user debugging registers */ set_dr7(0); set_dr0(0); @@ -163,7 +163,7 @@ void db_dr ( if (kernel_dr) { if (!ids.dr[0] && !ids.dr[1] && !ids.dr[2] && !ids.dr[3]) { /* Not used any more, switch back to user debugging registers */ - kernel_dr = 0; + kernel_dr = FALSE; db_load_context(current_thread()->pcb); } } |