1.1 --- a/test_files/programs/region_mapper.cc Sun Jun 12 23:08:19 2022 +0200
1.2 +++ b/test_files/programs/region_mapper.cc Mon Jun 13 00:43:15 2022 +0200
1.3 @@ -41,9 +41,11 @@
1.4
1.5 l4re_aux_t *l4re_aux = exec_get_l4re_aux(argc, argv);
1.6
1.7 + printf("aux = {%s, %lx, %lx, %lx}\n", l4re_aux->binary, l4re_aux->kip_ds, l4re_aux->dbg_lvl, l4re_aux->ldr_flags);
1.8 +
1.9 /* Skip past the auxiliary structure itself. */
1.10
1.11 - struct exec_region *region = (struct exec_region *) (l4re_aux + 1);
1.12 + struct exec_region *region = (struct exec_region *) *((l4_addr_t *) (l4re_aux + 1));
1.13
1.14 if (!region)
1.15 {