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)
23 #define PAGE_TO_PTR(x) ((void*)PAGE_TO_ADDR(x))
25 #define BYTES_TO_PAGES(x) (((uint32_t)(x) + 4095) >> 12)
27 /* for alloc_ppage/alloc_ppages */
29 MEM_HEAP = 0, /* start searching from the bottom */
30 MEM_STACK = 1 /* start searching from the top */
35 int alloc_ppage(int area);
36 void free_ppage(int pg);
38 /* allocate a number of consecutive pages */
39 int alloc_ppages(int count, int area);
40 void free_ppages(int pg0, int count);
42 /* allocate a specific range of pages.
43 * Fails (and returns -1) if any page in the requested range is not free.
45 int alloc_ppage_range(int start, int size);
46 int free_ppage_range(int start, int size);