diff options
| -rw-r--r-- | kern/machine.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kern/machine.c b/kern/machine.c index 3dadeb5..8a33327 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -623,9 +623,6 @@ Restart_pset: * running on the processor's shutdown stack. */ -#ifdef __GNUC__ -__volatile__ -#endif void processor_doshutdown(processor) processor_t processor; { |