3.5.3 posted-interrupt processing