1 /* 2 * Copyright 2011, Rene Gollent, rene@gollent.com. 3 * Distributed under the terms of the MIT License. 4 */ 5 #include <memory_private.h> 6 7 #include <OS.h> 8 9 #include <syscalls.h> 10 11 12 status_t 13 get_memory_properties(team_id teamID, const void* address, uint32* _protected, 14 uint32* _lock) 15 { 16 return _kern_get_memory_properties(teamID, address, _protected, _lock); 17 } 18