LOWMEM_KB
len = LOWMEM_KB * 1024;
len = MB(1) - (LOWMEM_KB * 1024);
vmc->vmc_memranges[1].vmr_gpa = LOWMEM_KB * 1024;
lower_sz = MB(1) - (LOWMEM_KB * 1024);