libexec/lib/src/process.cc | raw changeset files shortlog |
1.1 --- a/libexec/lib/src/process.cc Mon Mar 13 00:40:16 2023 +0100 1.2 +++ b/libexec/lib/src/process.cc Tue Mar 14 23:51:57 2023 +0100 1.3 @@ -208,7 +208,7 @@ 1.4 l4_fpage_t utcb_fpage = get_utcb_fpage(_thread_number, 1); 1.5 1.6 _env.utcb_area = utcb_fpage; 1.7 - _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage); 1.8 + _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage) + L4_UTCB_OFFSET; 1.9 1.10 /* Initialise the thread with pager, UTCB and task details. */ 1.11