2 pcboot - bootable PC demo/game kernel
3 Copyright (C) 2018 John Tsiombikas <nuclear@member.fsf.org>
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY, without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <https://www.gnu.org/licenses/>.
21 #define ADDR_TO_PAGE(x) ((uint32_t)(x) >> 12)
22 #define PAGE_TO_ADDR(x) ((uint32_t)(x) << 12)
26 int alloc_ppage(void);
27 void free_ppage(int pg);
29 int alloc_ppage_range(int start, int size);
30 int free_ppage_range(int start, int size);