https://bugs.freedesktop.org/show_bug.cgi?id=53111
--- Comment #7 from Michel Dänzer michel@daenzer.net 2012-08-09 07:05:26 UTC --- (In reply to comment #6)
The fault address in the VM_CONTEXT1_PROTECTION_FAULT_ADDR register is less than the start of the virtual address area, unless that is due to the bug?
Sorry, should have mentioned that the address in VM_CONTEXT1_PROTECTION_FAULT_ADDR is shifted right by 12 bits (i.e. it's the page frame number).