Searched refs:dst_val (Results 1 – 1 of 1) sorted by relevance
242 uint32_t dst_val = 0; in swap_context() local248 dst_val = VMIDMT_INI(info->base_addr, SMRn, new_idx); in swap_context()249 if (dst_val != src_val) in swap_context()256 dst_val = VMIDMT_INMI(info->base_addr, S2VRn, new_idx, s2vr_msk); in swap_context()257 if (dst_val != src_val) in swap_context()264 dst_val = VMIDMT_INI(info->base_addr, AS2VRn, new_idx); in swap_context()265 if (dst_val != src_val) in swap_context()