2 * Copyright 2003-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
7 #include <boot/platform.h>
14 platform_allocate_region(void **_address
, size_t size
, uint8 protection
,
17 printf("platform_allocate_region(address = %p, size = %lu, protection = %u, exactAdress = %d)\n",
18 *_address
, size
, protection
, exactAddress
);
20 void *address
= malloc(size
);
30 platform_free_region(void *address
, size_t size
)