2 * Copyright 2011, Rene Gollent, rene@gollent.com.
3 * Distributed under the terms of the MIT License.
5 #include <memory_private.h>
13 get_memory_properties(team_id teamID
, const void* address
, uint32
* _protected
,
16 return _kern_get_memory_properties(teamID
, address
, _protected
, _lock
);