backported fixes from 256boss
[bootcensus] / src / mem.h
1 /*
2 pcboot - bootable PC demo/game kernel
3 Copyright (C) 2018  John Tsiombikas <nuclear@member.fsf.org>
4
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.
9
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.
14
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/>.
17 */
18 #ifndef MEM_H_
19 #define MEM_H_
20
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))
24
25 #define BYTES_TO_PAGES(x)               (((uint32_t)(x) + 4095) >> 12)
26
27 /* for alloc_ppage/alloc_ppages */
28 enum {
29         MEM_HEAP = 0,   /* start searching from the bottom */
30         MEM_STACK = 1   /* start searching from the top */
31 };
32
33 void init_mem(void);
34
35 int alloc_ppage(int area);
36 void free_ppage(int pg);
37
38 /* allocate a number of consecutive pages */
39 int alloc_ppages(int count, int area);
40 void free_ppages(int pg0, int count);
41
42 /* allocate a specific range of pages.
43  * Fails (and returns -1) if any page in the requested range is not free.
44  */
45 int alloc_ppage_range(int start, int size);
46 int free_ppage_range(int start, int size);
47
48 #endif  /* MEM_H_ */