MSEG_HIGH
res = alloc_memseg(ctx, MSEG_HIGH, UPPER_SZ, "mseg_high");
res = vm_mmap_memseg(ctx, UPPER_OFF, MSEG_HIGH, 0, UPPER_SZ, PROT_ALL);