Searched refs:rb_val (Results 1 – 1 of 1) sorted by relevance
437 uint32_t rb_val = 0; in vmidmt_hal_init() local469 rb_val = VMIDMT_INF(info->base_addr, SCR1, GASRAE); in vmidmt_hal_init()470 if (rb_val != sec_cfg->b_glb_addr_space_restricted_acc_enable) { in vmidmt_hal_init()477 rb_val = VMIDMT_INF(info->base_addr, SCR1, NSNUMSMRGO); in vmidmt_hal_init()478 if (rb_val != sec_ext) { in vmidmt_hal_init()