Domain buddy allocator
voiddomain_buddies_init(void)voiddomain_free(paddr_taddress,size_t page_count)paddr_tdomain_alloc(size_t pages,enum alloc_flagsflags)paddr_tdomain_alloc_from_domain(struct domain*cd,size_t pages)voiddomain_buddy_dump(void)voiddomain_buddies_init_late()struct domain *domain_for_addr(paddr_taddr)