Re: [Xen-devel] World-switch architected component flushing/invalidating.

2015-05-19 Thread Ian Campbell
On Tue, 2015-05-19 at 15:23 +, Mazen Ezzeddine (Student) wrote: > Is there a header file to include and use already-implemented > xen-specific functions for cache/TLB/branchPredictor invalidating? > Could you please route me to the Xen file where they are implemented. I suggest you use a tool

[Xen-devel] World-switch architected component flushing/invalidating.

2015-05-19 Thread Mazen Ezzeddine (Student)
Dear all, Could you please hint me about the below: I need to flush/invalidate all architected components (all levels of D-cache/I-cache, I-TLB D-TLB, branch predictor etc..) on Xen world/Domain switch running on a dual core ARM cortex A-15. As such, am I on the safe side if I include the inv