Searched refs:_parentChangeCounter (Results 1 – 1 of 1) sorted by relevance
1188 partition_id parentID, int32* _parentChangeCounter) in _user_uninitialize_partition() argument1197 error = copy_from_user_value(parentChangeCounter, _parentChangeCounter); in _user_uninitialize_partition()1257 error = copy_to_user_value(_parentChangeCounter, parent->ChangeCounter()); in _user_uninitialize_partition()