Cannot open file sys/bus/virtio/drivers/virtio_console/module/sections/.static_call_sites