kernel -- vkernel64's trap_pfault should use VM_FAULT_BURST for usermode faults.
authorVenkatesh Srinivas <me@endeavour.zapto.org>
Thu, 17 Nov 2011 02:30:11 +0000 (18:30 -0800)
committerVenkatesh Srinivas <me@endeavour.zapto.org>
Thu, 17 Nov 2011 02:30:11 +0000 (18:30 -0800)
commitf8a5cc8f88c4c89488aafaad6febd534b0bd4eb1
treea3283fbc0352e05ab413075a33da76d914cca6dc
parent3231e2bfafc788cc036a1fc9b76465cb9a6f89c7
kernel -- vkernel64's trap_pfault should use VM_FAULT_BURST for usermode faults.

From x86-64 trap_pfault.
sys/platform/vkernel64/x86_64/trap.c