diff --git a/repos/os/src/driver/framebuffer/virtio/component.h b/repos/os/src/driver/framebuffer/virtio/component.h
index 99a2d3f4c04..ed0ee545818 100644
--- a/repos/os/src/driver/framebuffer/virtio/component.h
+++ b/repos/os/src/driver/framebuffer/virtio/component.h
@@ -33,6 +33,8 @@ class Virtio_fb::Driver
 {
 	private:
 
+		using uint64_t = Genode::uint64_t;
+
 		/*
 		 * Noncopyable
 		 */