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();