Quoting Janosch Frank (2023-11-03 15:16:36) [...] > > +static void setup_guest(void) > > +{ > > + extern const char SNIPPET_NAME_START(c, sie_dat)[]; > > + extern const char SNIPPET_NAME_END(c, sie_dat)[]; > > + uint64_t guest_max_addr; > > + > > + setup_vm(); > > + snippet_setup_guest(&vm, false); > > + > > + /* allocate a region-1 table */ > > + guest_root = pgd_alloc_one(); > > + > > + /* map guest memory 1:1 */ > > 0:guest_max_addr Sorry, I don't get what you mean.