guest_mappings 49 drivers/virt/vboxguest/vboxguest_core.c void *guest_mappings[GUEST_MAPPINGS_TRIES]; guest_mappings 93 drivers/virt/vboxguest/vboxguest_core.c guest_mappings[i] = vmap(pages, (size >> PAGE_SHIFT), guest_mappings 95 drivers/virt/vboxguest/vboxguest_core.c if (!guest_mappings[i]) guest_mappings 102 drivers/virt/vboxguest/vboxguest_core.c (unsigned long)PTR_ALIGN(guest_mappings[i], SZ_4M); guest_mappings 106 drivers/virt/vboxguest/vboxguest_core.c gdev->guest_mappings = guest_mappings[i]; guest_mappings 113 drivers/virt/vboxguest/vboxguest_core.c vunmap(guest_mappings[i]); guest_mappings 116 drivers/virt/vboxguest/vboxguest_core.c if (!gdev->guest_mappings) { guest_mappings 136 drivers/virt/vboxguest/vboxguest_core.c if (!gdev->guest_mappings) guest_mappings 160 drivers/virt/vboxguest/vboxguest_core.c vunmap(gdev->guest_mappings); guest_mappings 161 drivers/virt/vboxguest/vboxguest_core.c gdev->guest_mappings = NULL; guest_mappings 67 drivers/virt/vboxguest/vboxguest_core.h void *guest_mappings;