diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-06-18 09:45:47 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-06-18 09:45:47 +0000 |
| commit | 41ae123ec2d77615cd0b0476ff62564bd7a4865f (patch) | |
| tree | ba6a57d3a8d7d725a5e0ae64e8401ed3bea0efb9 /sys/arch/alpha/include/psl.h | |
| parent | 7a0b7f798c45842a34a4c6413f45e1b3824154a5 (diff) | |
sync to 0616, retaining local diffs
Diffstat (limited to 'sys/arch/alpha/include/psl.h')
| -rw-r--r-- | sys/arch/alpha/include/psl.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sys/arch/alpha/include/psl.h b/sys/arch/alpha/include/psl.h index e14260c2bf6..f430f51ec2e 100644 --- a/sys/arch/alpha/include/psl.h +++ b/sys/arch/alpha/include/psl.h @@ -1,4 +1,4 @@ -/* $NetBSD: psl.h,v 1.4 1995/11/23 02:36:33 cgd Exp $ */ +/* $NetBSD: psl.h,v 1.5 1996/04/23 15:24:09 cgd Exp $ */ /* * Copyright (c) 1994, 1995 Carnegie-Mellon University. @@ -75,8 +75,8 @@ */ /* Flush all write buffers */ -static __inline int wbflush() { __asm __volatile("mb"); } /* XXX? wmb */ - +static __inline int wbflush() \ + { __asm __volatile("mb" : : : "memory"); } /* XXX? wmb */ #define IMB() pal_imb() /* Sync instruction cache w/data */ void alpha_mb __P((void)); /* Flush all write buffers */ @@ -84,6 +84,7 @@ void pal_imb __P((void)); /* Sync instruction cache */ u_int64_t pal_swpipl __P((u_int64_t)); /* write new IPL, return old */ u_int64_t profile_swpipl __P((u_int64_t)); /* pal_swpipl w/o profiling */ void pal_tbi __P((u_int64_t, void *)); /* Invalidate TLB entries */ +void pal_halt __P((void)) __attribute__((__noreturn__)); /* halt/reboot */ #endif /* _KERNEL */ #endif /* !__ALPHA_PSL_H__ */ |