size64k           509 samples/vfio-mdev/mbochs.c 	u32 size64k = mdev_state->memsize / (64 * 1024);
size64k           515 samples/vfio-mdev/mbochs.c 	mdev_state->vbe[VBE_DISPI_INDEX_VIDEO_MEMORY_64K] = size64k;