diff --git a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc index 18adb14ba3..34ca1932ca 100644 --- a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc +++ b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc @@ -56,7 +56,7 @@ void SHM_manager::free_shm(int id) void Session_component::register_shm(Genode::size_t size, Genode::Ram_dataspace_capability& ram_cap_vm) { // create shared mem - int shid = SHM_manager::getInstance().alloc_shm(size, ram_cap_vm); + const int shid = SHM_manager::getInstance().alloc_shm(size, ram_cap_vm); vgpu.assignSHM(shid); }