Skip to content

Domain buddy allocator

void domain_buddies_init(void);
void domain_free(paddr_t address, size_t page_count);

domain_free referenced types:

paddr_t domain_alloc(size_t pages, enum alloc_flags flags);

domain_alloc referenced types:

paddr_t domain_alloc_from_domain(struct domain *cd, size_t pages);

domain_alloc_from_domain referenced types:

void domain_buddy_dump(void);
void domain_buddies_init_late();
struct domain * domain_for_addr(paddr_t addr);

domain_for_addr referenced types:

void domain_buddies_init_after_smp();