Searched refs:SCTLR_ELx_WXN (Results 1 – 2 of 2) sorted by relevance
838 #define SCTLR_ELx_WXN (BIT(19))861 SCTLR_ELx_IESB | SCTLR_ELx_WXN | ENDIAN_SET_EL2 | \498 #define SCTLR_ELx_WXN global() macro
901 wxn = (vcpu_read_sys_reg(vcpu, SCTLR_EL2) & SCTLR_ELx_WXN); in compute_s1_direct_permissions()904 wxn = (__vcpu_sys_reg(vcpu, SCTLR_EL1) & SCTLR_ELx_WXN); in compute_s1_direct_permissions()