Module Name: src Committed By: cherry Date: Thu Feb 23 04:10:51 UTC 2012
Modified Files: src/sys/arch/xen/x86: cpu.c Log Message: cpu_load_pmap() should not be used to load pmap_kernel(), since in the x86 model, its mappings are shared across pmaps. KASSERT() for this and remove unused codepaths. To generate a diff of this commit: cvs rdiff -u -r1.83 -r1.84 src/sys/arch/xen/x86/cpu.c Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.