diff options
| author | kmacy <kmacy@FreeBSD.org> | 2008-10-19 01:35:27 +0000 |
|---|---|---|
| committer | kmacy <kmacy@FreeBSD.org> | 2008-10-19 01:35:27 +0000 |
| commit | 4ceda2abba2589b9879eb14763ddd65a15bd1ed8 (patch) | |
| tree | 9ac7dfedc9d653224646351f53eac268e4dbb97f /sys/kern/kern_synch.c | |
| parent | 69b7977cd26d32facef5953ebe569cc8797483fe (diff) | |
| download | FreeBSD-src-4ceda2abba2589b9879eb14763ddd65a15bd1ed8.zip FreeBSD-src-4ceda2abba2589b9879eb14763ddd65a15bd1ed8.tar.gz | |
- Forward port flush of page table updates on context switch or userret
- Forward port vfork XEN hack
Diffstat (limited to 'sys/kern/kern_synch.c')
| -rw-r--r-- | sys/kern/kern_synch.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sys/kern/kern_synch.c b/sys/kern/kern_synch.c index 4f1205d..53e3ced 100644 --- a/sys/kern/kern_synch.c +++ b/sys/kern/kern_synch.c @@ -65,6 +65,12 @@ __FBSDID("$FreeBSD$"); #include <machine/cpu.h> +#ifdef XEN +#include <vm/vm.h> +#include <vm/vm_param.h> +#include <vm/pmap.h> +#endif + static void synch_setup(void *dummy); SYSINIT(synch_setup, SI_SUB_KICK_SCHEDULER, SI_ORDER_FIRST, synch_setup, NULL); @@ -432,6 +438,9 @@ mi_switch(int flags, struct thread *newtd) td, td->td_name, td->td_priority, td->td_inhibitors, td->td_wmesg, td->td_lockname); #endif +#ifdef XEN + PT_UPDATES_FLUSH(); +#endif sched_switch(td, newtd, flags); CTR3(KTR_SCHED, "mi_switch: running %p(%s) prio %d", td, td->td_name, td->td_priority); |
