Signed-off-by: Juergen Lock <n...@jelal.kn-bremen.de> --- a/exec.c +++ b/exec.c @@ -293,10 +293,13 @@ static void page_init(void) if (h2g_valid(endaddr)) { endaddr = h2g(endaddr); + page_set_flags(startaddr, endaddr, PAGE_RESERVED); } else { +#if TARGET_ABI_BITS <= L1_MAP_ADDR_SPACE_BITS endaddr = ~0ul; + page_set_flags(startaddr, endaddr, PAGE_RESERVED); +#endif } - page_set_flags(startaddr, endaddr, PAGE_RESERVED); } } while (!feof(f));