Searched refs:CPTR_NVHE_EL2_RES1 (Results 1 – 4 of 4) sorted by relevance
302 #define CPTR_NVHE_EL2_RES1 0x000032ff /* known RES1 bits in CPTR_EL2 (nVHE) */ macro
633 val = CPTR_NVHE_EL2_RES1; in kvm_get_reset_cptr_el2()
199 vcpu->arch.cptr_el2 |= CPTR_NVHE_EL2_RES1; in pvm_init_trap_regs()
2814 EL2_REG(CPTR_EL2, access_rw, reset_val, CPTR_NVHE_EL2_RES1),