Searched refs:old_idx (Results 1 – 1 of 1) sorted by relevance
238 uint32_t old_idx, uint32_t new_idx) in swap_context() argument244 src_val = VMIDMT_INI(info->base_addr, SMRn, old_idx); in swap_context()252 src_val = VMIDMT_INMI(info->base_addr, S2VRn, old_idx, s2vr_msk); in swap_context()260 src_val = VMIDMT_INI(info->base_addr, AS2VRn, old_idx); in swap_context()