Hi Cherry! On Fri, Feb 24, 2012 at 08:44:45AM +0000, Cherry G. Mathew wrote: > Module Name: src > Committed By: cherry > Date: Fri Feb 24 08:44:44 UTC 2012 > > Modified Files: > src/sys/arch/x86/x86: pmap.c > > Log Message: > kernel page attribute change should be reflected on all cpus, since > the page is going to be released after the _dtor() hook is called.
Can you please explain why you reverted the previous version and now use xen_bcast*? Thomas