From 399c74ab450e9ce34944a1a8e06de93b250efd84 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Tue, 6 Nov 2018 19:40:05 -0800 Subject: spelling --- src/machine.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/machine.tex') diff --git a/src/machine.tex b/src/machine.tex index 0341cc7..6de2495 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -1396,7 +1396,7 @@ Synchronous exceptions are of lower priority than all interrupts. with the following rationale. Interrupts for higher privilege modes must be serviced before - interrupts for lower privilege modes to support pre-emption. + interrupts for lower privilege modes to support preemption. The platform-specific machine-level interrupt sources in bits 16 and above have platform-specific priority, but are typically chosen to have the -- cgit v1.1