- bool not_present, write, user;
- uint32_t fault_addr;
-
- /* Obtain faulting address, then turn interrupts back on.
- (Interrupts were only off so that we could be assured of
- reading CR2 before it changed.)
-
- The faulting address is not necesarily the address of the
- instruction that caused the fault--that's in F's eip
- member. Rather, it's the linear address that was accessed
- to cause the fault, which is probably an address of data,
- not code. */
- asm ("movl %%cr2, %0" : "=r" (fault_addr));
+ bool not_present; /* True: not-present page, false: writing r/o page. */
+ bool write; /* True: access was write, false: access was read. */
+ bool user; /* True: access by user, false: access by kernel. */
+ void *fault_addr; /* Fault address. */
+
+ /* Obtain faulting address, the virtual address that was
+ accessed to cause the fault. It may point to code or to
+ data. It is not necessarily the address of the instruction
+ that caused the fault (that's f->eip).
+ See [IA32-v2a] "MOV--Move to/from Control Registers" and
+ [IA32-v3] 5.14 "Interrupt 14--Page Fault Exception
+ (#PF)". */
+ asm ("mov %0, %%cr2" : "=r" (fault_addr));
+
+ /* Turn interrupts back on (they were only off so that we could
+ be assured of reading CR2 before it changed). */