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
12status_t
13get_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