1/* @title: Domain buddy allocator */
2#include <mem/alloc.h>
3#include <smp/domain.h>
4#include <stdint.h>
5#include <types/types.h>
6
7void domain_buddies_init(void);
8void domain_free(paddr_t address, size_t page_count);
9paddr_t domain_alloc(size_t pages, enum alloc_flags flags);
10paddr_t domain_alloc_from_domain(struct domain *cd, size_t pages);
11void domain_buddy_dump(void);
12void domain_buddies_init_late();
13struct domain *domain_for_addr(paddr_t addr);
14void domain_buddies_init_after_smp();
15