2004-10-19 20:57:19 +04:00
|
|
|
/*
|
2007-01-08 15:14:06 +03:00
|
|
|
* Copyright 2004-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
|
|
|
|
* Distributed under the terms of the MIT License.
|
|
|
|
*/
|
2004-06-01 02:41:25 +04:00
|
|
|
#ifndef KERNEL_BOOT_ADDR_RANGE_H
|
|
|
|
#define KERNEL_BOOT_ADDR_RANGE_H
|
|
|
|
|
|
|
|
|
|
|
|
#include <SupportDefs.h>
|
|
|
|
|
|
|
|
|
|
|
|
typedef struct addr_range {
|
|
|
|
addr_t start;
|
|
|
|
addr_t size;
|
|
|
|
} addr_range;
|
|
|
|
|
2007-01-08 15:14:06 +03:00
|
|
|
|
2004-10-19 20:57:19 +04:00
|
|
|
#ifdef __cplusplus
|
2007-01-08 15:14:06 +03:00
|
|
|
extern "C" {
|
2004-10-19 20:57:19 +04:00
|
|
|
#endif
|
2007-01-08 15:14:06 +03:00
|
|
|
|
2004-10-19 20:57:19 +04:00
|
|
|
status_t insert_address_range(addr_range *ranges, uint32 *_numRanges, uint32 maxRanges,
|
|
|
|
addr_t start, uint32 size);
|
2007-01-08 15:14:06 +03:00
|
|
|
status_t remove_addr_range(addr_range *ranges, uint32 *_numRanges, uint32 maxRanges,
|
|
|
|
addr_t start, uint32 size);
|
|
|
|
|
|
|
|
status_t insert_physical_memory_range(addr_t start, uint32 size);
|
|
|
|
status_t insert_physical_allocated_range(addr_t start, uint32 size);
|
|
|
|
status_t insert_virtual_allocated_range(addr_t start, uint32 size);
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
2004-10-19 20:57:19 +04:00
|
|
|
|
2004-06-01 02:41:25 +04:00
|
|
|
#endif /* KERNEL_BOOT_ADDR_RANGE_H */
|