amd64: Store %cr3 into pcpu saved_ucr3 on double fault.
Tested by: pho
Sponsored by: The FreeBSD Foundation
MFC after: 1 week
Description
Description
Details
Details
- Provenance
kib Authored on - Parents
- rS354280: amd64 ddb: Add printing of kernel/user and saved user %cr3 values from pcpu.
- Branches
- Unknown
- Tags