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

/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h27 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_DC \ macro
674 hcr_el2 = HCR_NATIVE;
719 MSR(REG_HCR_EL2, HCR_NATIVE);
/seL4-mcs-10.1.1/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
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h26 #define HCR_NATIVE ( HCR_COMMON | HCR_TGE | HCR_TVM | HCR_TTLB | HCR_TCACHE \ macro
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c209 setHCR(HCR_NATIVE);

Completed in 32 milliseconds