kernel_optimize_test/drivers/virtio/config.c