void * get_location() const { return location; }
void set_location(void * loc) { location = loc; }
- void reset_location() { location = NULL; }
+ void unset_location() { location = NULL; }
action_type get_type() const { return type; }
memory_order get_mo() const { return order; }