diff options
-rw-r--r-- | sys/alpha/alpha/interrupt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/alpha/alpha/interrupt.c b/sys/alpha/alpha/interrupt.c index e33f9d5..59c701b 100644 --- a/sys/alpha/alpha/interrupt.c +++ b/sys/alpha/alpha/interrupt.c @@ -283,6 +283,7 @@ badaddr_read(addr, size, rptr) panic("badaddr: invalid size (%ld)\n", size); } alpha_mb(); + alpha_mb(); /* magic for ev5 2100A & maybe more */ /* Make sure we took the machine check, if we caused one. */ alpha_pal_draina(); |