vmmdev_write_core_dump 1480 drivers/virt/vboxguest/vboxguest_core.c 	struct vmmdev_write_core_dump *req;
vmmdev_write_core_dump  363 drivers/virt/vboxguest/vmmdev.h VMMDEV_ASSERT_SIZE(vmmdev_write_core_dump, 24 + 4);