Searched refs:cpu0_olduec (Results 1 – 2 of 2) sorted by relevance
352 cmd_cpu_uec_t cpu0_olduec; /* To-be-flushed UE cache */ member
1856 new->cpu_olduec = old->cpu0_olduec; in cpu_v0tov3()