From d132fc0a7374f48c148fd25d422c813300f8f7c0 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 14 Jan 2020 13:04:06 +0100 Subject: [PATCH] init: scale affinity location Issue #1412 --- repos/os/src/init/child.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/os/src/init/child.cc b/repos/os/src/init/child.cc index bbc19cfca0..d21d9aef64 100644 --- a/repos/os/src/init/child.cc +++ b/repos/os/src/init/child.cc @@ -673,8 +673,8 @@ Genode::Affinity Init::Child::filter_session_affinity(Affinity const &session_af /* subordinate session affinity to child affinity subspace */ Affinity::Location location(child_location .multiply_position(session_space) - .transpose(session_location.xpos(), - session_location.ypos())); + .transpose(session_location.xpos() * child_space.width(), + session_location.ypos() * child_space.height())); return Affinity(space, location); }