MEM_TOTAL_SZ
const uint32_t cap = (MEM_TOTAL_SZ - MEM_LOC_PAYLOAD);
err = vm_setup_memory(ctx, MEM_TOTAL_SZ, VM_MMAP_ALL);
.vdt_len = MEM_TOTAL_SZ,
#define DIRTY_BITMAP_SZ (MEM_TOTAL_SZ / (PAGE_SZ * 8))
.vdt_len = MEM_TOTAL_SZ,