Searched refs:HCR_NATIVE (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h26 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_DC \ macro
572 hcr_el2 = HCR_NATIVE;
622 MSR(REG_HCR_EL2, HCR_NATIVE);
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h26 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_TCACHE \ macro
805 setHCR(HCR_NATIVE);
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h26 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_TCACHE \ macro
805 setHCR(HCR_NATIVE);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h26 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_TCACHE \ macro
805 setHCR(HCR_NATIVE);

Completed in 51 milliseconds