blob: 7824c168848140ec5475f5e28d93eb283abfeba5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
/*
* Copyright (c) 2010-2014 Richard Braun.
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef _X86_BIOSMEM_H
#define _X86_BIOSMEM_H
#include <mach/machine/vm_types.h>
#include <mach/machine/multiboot.h>
/*
* Address where the address of the Extended BIOS Data Area segment can be
* found.
*/
#define BIOSMEM_EBDA_PTR 0x40e
/*
* Significant low memory addresses.
*
* The first 64 KiB are reserved for various reasons (e.g. to preserve BIOS
* data and to work around data corruption on some hardware).
*/
#define BIOSMEM_BASE 0x010000
#define BIOSMEM_BASE_END 0x0a0000
#define BIOSMEM_EXT_ROM 0x0e0000
#define BIOSMEM_ROM 0x0f0000
#define BIOSMEM_END 0x100000
/*
* Report reserved addresses to the biosmem module.
*
* Once all boot data have been registered, the user can set up the
* early page allocator.
*
* If the range is marked temporary, it will be unregistered when
* biosmem_free_usable() is called, so that pages that used to store
* these boot data may be released to the VM system.
*/
void biosmem_register_boot_data(phys_addr_t start, phys_addr_t end,
boolean_t temporary);
/*
* Initialize the early page allocator.
*
* This function uses the memory map provided by the boot loader along
* with the registered boot data addresses to set up a heap of free pages
* of physical memory.
*
* Note that on Xen, this function registers all the Xen boot information
* as boot data itself.
*/
#ifdef MACH_HYP
void biosmem_xen_bootstrap(void);
#else /* MACH_HYP */
void biosmem_bootstrap(const struct multiboot_raw_info *mbi);
#endif /* MACH_HYP */
/*
* Allocate contiguous physical pages during bootstrap.
*
* The pages returned are guaranteed to be part of the direct physical
* mapping when paging is enabled.
*
* This function should only be used to allocate initial page table pages.
* Those pages are later loaded into the VM system (as reserved pages)
* which means they can be freed like other regular pages. Users should
* fix up the type of those pages once the VM system is initialized.
*/
unsigned long biosmem_bootalloc(unsigned int nr_pages);
/*
* Return the limit of physical memory that can be directly mapped.
*/
phys_addr_t biosmem_directmap_end(void);
/*
* Set up physical memory based on the information obtained during bootstrap
* and load it in the VM system.
*/
void biosmem_setup(void);
/*
* Free all usable memory.
*
* This function releases all pages that aren't used by boot data and have
* not already been loaded into the VM system.
*/
void biosmem_free_usable(void);
#endif /* _X86_BIOSMEM_H */
|
