1.1 --- a/libexec/rm/region_mapper.cc Tue Mar 07 00:43:52 2023 +0100
1.2 +++ b/libexec/rm/region_mapper.cc Tue Mar 07 16:44:43 2023 +0100
1.3 @@ -65,13 +65,13 @@
1.4 /* Start the pager. */
1.5
1.6 printf("Initialising pager...\n");
1.7 - printf("Pager capability: %lx\n", l4re_env_get_cap("server"));
1.8 + printf("Pager capability: %lx\n", l4re_env_get_cap(ENV_INTERNAL_PAGER_NAME));
1.9 printf("Main thread: %lx\n", l4re_env()->main_thread);
1.10
1.11 /* Initialise the server, enabling notifications. */
1.12
1.13 ResourceServer server(&exec_pager);
1.14 - long err = server.bind("server");
1.15 + long err = server.bind(ENV_INTERNAL_PAGER_NAME);
1.16
1.17 if (err)
1.18 {