Searched refs:feat_reg_idx (Results 1 – 2 of 2) sorted by relevance
399 static int rmm_el3_ifc_get_feat_register(uint64_t feat_reg_idx, in rmm_el3_ifc_get_feat_register() argument402 if (feat_reg_idx != RMM_EL3_FEAT_REG_0_IDX) { in rmm_el3_ifc_get_feat_register()403 ERROR("RMMD: Failed to get feature register %ld\n", feat_reg_idx); in rmm_el3_ifc_get_feat_register()
533 ``feat_reg_idx`` parameter. Each feature register is a 64 bit register.575 feat_reg_idx,x1,[63:0],UInt64, "Feature register index. For v0.4, a value of 0 is the only599 ``E_RMM_INVAL``,``feat_reg_idx`` is out of valid range