guest_mappings_dummy_page   81 drivers/virt/vboxguest/vboxguest_core.c 	gdev->guest_mappings_dummy_page = alloc_page(GFP_HIGHUSER);
guest_mappings_dummy_page   82 drivers/virt/vboxguest/vboxguest_core.c 	if (!gdev->guest_mappings_dummy_page)
guest_mappings_dummy_page   86 drivers/virt/vboxguest/vboxguest_core.c 		pages[i] = gdev->guest_mappings_dummy_page;
guest_mappings_dummy_page  117 drivers/virt/vboxguest/vboxguest_core.c 		__free_page(gdev->guest_mappings_dummy_page);
guest_mappings_dummy_page  118 drivers/virt/vboxguest/vboxguest_core.c 		gdev->guest_mappings_dummy_page = NULL;
guest_mappings_dummy_page  163 drivers/virt/vboxguest/vboxguest_core.c 	__free_page(gdev->guest_mappings_dummy_page);
guest_mappings_dummy_page  164 drivers/virt/vboxguest/vboxguest_core.c 	gdev->guest_mappings_dummy_page = NULL;
guest_mappings_dummy_page   66 drivers/virt/vboxguest/vboxguest_core.h 	struct page *guest_mappings_dummy_page;