Searched refs:vaddr_base (Results 1 – 1 of 1) sorted by relevance
255 uint64_t vaddr_base = MMIO_BASE; in mmio_buddy_init() local256 for (uint32_t i = 0; i < cnt_1g_blocks; ++i, vaddr_base += PAGE_1G_SIZE) in mmio_buddy_init()257 __mmio_buddy_give_back(vaddr_base, PAGE_1G_SHIFT); in mmio_buddy_init()