%define VBOX_MAX_ALLOC_PAGE_COUNT (128 * _1M / PAGE_SIZE)

%define MM_HYPER_AREA_ADDRESS UINT32_C(0xa0000000)

%define MM_HYPER_AREA_MAX_SIZE (40 * _1M)

%define MM_HYPER_DYNAMIC_SIZE (16 * PAGE_SIZE)

%define MM_RAM_MIN UINT32_C(0x00400000)

%define MM_RAM_MIN_IN_MB UINT32_C(4)

%define MM_RAM_HOLE_SIZE_DEFAULT (512 * _1M)

%define PGM_HANDY_PAGES 128

%define PGM_HANDY_PAGES_SET_FF 32

%define PGM_HANDY_PAGES_R3_ALLOC 8

%define PGM_HANDY_PAGES_RZ_ALLOC 8

%define PGM_HANDY_PAGES_RZ_TO_R3 24

%define PGM_HANDY_PAGES_MIN 32

%define VMM_STACK_SIZE 8192

%define VMM_MIN_CPU_COUNT 1

%define VMM_MAX_CPU_COUNT 32