diff options
| author | Kip Macy <kmacy@FreeBSD.org> | 2008-10-19 01:35:27 +0000 |
|---|---|---|
| committer | Kip Macy <kmacy@FreeBSD.org> | 2008-10-19 01:35:27 +0000 |
| commit | 50d6e424348162df7ef871da1db76fab6681f414 (patch) | |
| tree | 9ac7dfedc9d653224646351f53eac268e4dbb97f /sys/kern/kern_synch.c | |
| parent | dafc9be8f8486d11b1f177b4edfa3e1db140730d (diff) | |
| download | src-50d6e424348162df7ef871da1db76fab6681f414.tar.gz src-50d6e424348162df7ef871da1db76fab6681f414.zip | |
- Forward port flush of page table updates on context switch or userret
- Forward port vfork XEN hack
Notes
Notes:
svn path=/head/; revision=184042
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 4f1205d17156..53e3ced77721 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); |