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

/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h117 #define REG_HCR_EL2 "hcr_el2" macro
573 MSR(REG_HCR_EL2, hcr_el2);
588 MSR(REG_HCR_EL2, HCR_VCPU);
622 MSR(REG_HCR_EL2, HCR_NATIVE);

Completed in 36 milliseconds