On May 4, 2015, at 8:38 AM, Noel Chiappa <jnc at
mercury.lcs.mit.edu> wrote:
From: Seth Morabito
1. Halt the CPU and enter ODT
I'm too lazy to check to confirm this, but I strongly suspect DMA requests
don't get serviced while the machine is halted.
Correct.
paul