Searched refs:guest_mmio (Results 1 – 1 of 1) sorted by relevance
103 static unsigned long guest_limit, guest_max, guest_mmio; variable377 unsigned long addr = guest_mmio; in get_mmio_region()386 guest_mmio += i; in get_mmio_region()619 (guest_mmio+getpagesize()-1) / getpagesize() }; in tell_kernel()622 guest_limit, guest_mmio); in tell_kernel()3264 guest_max = guest_mmio = mem + DEVICE_PAGES*getpagesize(); in main()