c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define VBOX_MAX_ALLOC_PAGE_COUNT (128 * _1M / PAGE_SIZE)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_HYPER_AREA_ADDRESS UINT32_C(0xa0000000)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_HYPER_AREA_MAX_SIZE (40 * _1M)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_HYPER_DYNAMIC_SIZE (16 * PAGE_SIZE)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_RAM_MIN UINT32_C(0x00400000)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_RAM_MIN_IN_MB UINT32_C(4)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define MM_RAM_HOLE_SIZE_DEFAULT (512 * _1M)

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES 128

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES_SET_FF 32

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES_R3_ALLOC 8

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES_RZ_ALLOC 8

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES_RZ_TO_R3 24

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define PGM_HANDY_PAGES_MIN 32

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define VMM_STACK_SIZE 8192

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define VMM_MIN_CPU_COUNT 1

c78c220c07cd5aeca89a4173255f1ea71355766bvboxsync%define VMM_MAX_CPU_COUNT 32