#include <pvh.h>
The physical memory map, as an array of hvm_memmap_table_entry (whose layout matches memory_region_t) followed by its number of entries.