Constant k_objects_K_OBJ_DRIVER_VIRTIO 

pub const k_objects_K_OBJ_DRIVER_VIRTIO: k_objects = 83;