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.
