[ion] 24308: - Save processor state in the PKPRCB in KiInitializeKernel. - Set the booting CPU as idle if no next thread was scheduled. - Raise IRQL to HIGH_LEVEL upon exiting KiInitializeKernel to match the re-lowering to DISPATCH_LEVEL in KiSystemStartup (and subsequent interrupt flush).

Show replies by date

6661
days inactive
6661
days old

ros-diffs@reactos.org

Manage subscription

0 comments
1 participants

Add to favorites Remove from favorites

tags (0)
participants (1)
  • ion@svn.reactos.org