diff options
| -rw-r--r-- | sys/arch/arm64/dev/agintc.c | 4 | ||||
| -rw-r--r-- | sys/arch/arm64/dev/ampintc.c | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/sys/arch/arm64/dev/agintc.c b/sys/arch/arm64/dev/agintc.c index 11d73e05111..f03e361bd7d 100644 --- a/sys/arch/arm64/dev/agintc.c +++ b/sys/arch/arm64/dev/agintc.c @@ -1,4 +1,4 @@ -/* $OpenBSD: agintc.c,v 1.26 2020/07/17 08:07:33 patrick Exp $ */ +/* $OpenBSD: agintc.c,v 1.27 2020/09/05 14:47:21 deraadt Exp $ */ /* * Copyright (c) 2007, 2009, 2011, 2017 Dale Rahn <drahn@dalerahn.com> * Copyright (c) 2018 Mark Kettenis <kettenis@openbsd.org> @@ -1121,7 +1121,9 @@ int agintc_ipi_ddb(void *v) { /* XXX */ +#ifdef DDB db_enter(); +#endif return 1; } diff --git a/sys/arch/arm64/dev/ampintc.c b/sys/arch/arm64/dev/ampintc.c index ae501973ce3..3b9aee253af 100644 --- a/sys/arch/arm64/dev/ampintc.c +++ b/sys/arch/arm64/dev/ampintc.c @@ -1,4 +1,4 @@ -/* $OpenBSD: ampintc.c,v 1.19 2020/07/17 08:07:33 patrick Exp $ */ +/* $OpenBSD: ampintc.c,v 1.20 2020/09/05 14:47:21 deraadt Exp $ */ /* * Copyright (c) 2007,2009,2011 Dale Rahn <drahn@openbsd.org> * @@ -958,7 +958,9 @@ int ampintc_ipi_ddb(void *v) { /* XXX */ +#ifdef DDB db_enter(); +#endif return 1; } |