Searched refs:xlat_arch_regime_get_xn_desc (Results 1 – 5 of 5) sorted by relevance
50 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime);
84 uint64_t xn_mask = xlat_arch_regime_get_xn_desc(EL1_EL0_REGIME); in xlat_desc_print()477 uint64_t xn_mask = xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_get_mem_attributes_internal()
178 desc |= xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_desc()200 desc |= xlat_arch_regime_get_xn_desc(ctx->xlat_regime); in xlat_desc()
96 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() function
170 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() function