search for: tlbiallnsnhis

...tlb.h @@ -19,7 +19,7 @@ static inline void flush_tlb_local(void) { dsb(); - WRITE_CP32((uint32_t) 0, TLBIALLIS); + WRITE_CP32((uint32_t) 0, TLBIALL); dsb(); isb(); @@ -30,7 +30,7 @@ static inline void flush_tlb_all_local(void) { dsb(); - WRITE_CP32((uint32_t) 0, TLBIALLNSNHIS); + WRITE_CP32((uint32_t) 0, TLBIALLNSNH); dsb(); isb(); -- 1.7.9.1

First off, Apologies for the massive patch series... This series boots a 32-bit dom0 kernel to a command prompt on an ARMv8 (AArch64) model. The kernel is the same one as I am currently using with the 32 bit hypervisor I haven''t yet tried starting a guest or anything super advanced like that ;-). Also there is not real support for 64-bit domains at all, although in one or two places I

Hello everyone, this is the fourth version of the patch series that introduces ARMv7 with virtualization extensions support in Xen. The series allows Xen and Dom0 to boot on a Cortex-A15 based Versatile Express simulator. See the following announce email for more informations about what we are trying to achieve, as well as the original git history: See

Hello everyone, this is the very first version of the patch series that introduces ARMv7 with virtualization extensions support in Xen. The series allows Xen and Dom0 to boot on a Cortex-A15 based Versatile Express simulator. See the following announce email for more informations about what we are trying to achieve, as well as the original git history: See