__busy_read_flag
return (id + 1) | __busy_read_flag(id);
return __busy_set_if_active(fence, __busy_read_flag);