[src/trunk]: src/sys/arch/cesfic/include cesfic/intr.h: Expose ipl_cookie_t t...

[riastradh <riastradh%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/7a370a119731
branches:  trunk
changeset: 377420:7a370a119731
user:      riastradh <riastradh%NetBSD.org@localhost>
date:      Tue Jul 11 10:47:24 2023 +0000

description:
cesfic/intr.h: Expose ipl_cookie_t to userland for crash(8).

diffstat:

 sys/arch/cesfic/include/intr.h |  13 +++++++++----
 1 files changed, 9 insertions(+), 4 deletions(-)

diffs (34 lines):

diff -r 92bd18b25ca2 -r 7a370a119731 sys/arch/cesfic/include/intr.h
--- a/sys/arch/cesfic/include/intr.h    Tue Jul 11 10:44:55 2023 +0000
+++ b/sys/arch/cesfic/include/intr.h    Tue Jul 11 10:47:24 2023 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: intr.h,v 1.13 2011/12/22 15:06:17 tsutsui Exp $        */
+/*     $NetBSD: intr.h,v 1.14 2023/07/11 10:47:24 riastradh Exp $      */
 
 /*
  * Copyright (c) 1988 University of Utah.
@@ -46,6 +46,14 @@
  */
 #include <machine/psl.h>
 
+#ifndef _LOCORE
+
+typedef struct {
+       uint16_t _psl;
+} ipl_cookie_t;
+
+#endif
+
 #if defined(_KERNEL) && !defined(_LOCORE)
 /* spl0 requires checking for software interrupts */
 #define spl1()  _spl(PSL_S|PSL_IPL1)
@@ -83,9 +91,6 @@ int   spl0(void);
 extern const uint16_t ipl2psl_table[NIPL];
 
 typedef int ipl_t;
-typedef struct {
-       uint16_t _psl;
-} ipl_cookie_t;
 
 static inline ipl_cookie_t
 makeiplcookie(ipl_t ipl)