Searched refs:guest_mmio (Results 1 – 1 of 1) sorted by relevance
103 static unsigned long guest_limit, guest_max, guest_mmio; variable373 unsigned long addr = guest_mmio; in get_mmio_region()382 guest_mmio += i; in get_mmio_region()615 (guest_mmio+getpagesize()-1) / getpagesize() }; in tell_kernel()618 guest_limit, guest_mmio); in tell_kernel()3260 guest_max = guest_mmio = mem + DEVICE_PAGES*getpagesize(); in main()