is_mem_exclusive
is_mem_exclusive(p) <= is_mem_exclusive(q);
return is_mem_exclusive(cs);
if (is_mem_exclusive(tmp_cs) || is_cpu_exclusive(tmp_cs)) {
while (!(is_mem_exclusive(cs) || is_mem_hardwall(cs)) && parent_cs(cs))
if ((is_mem_exclusive(cs1) || is_mem_exclusive(cs2)))