H_VMEMMAP_START
#define VMEMMAP_REGION_ID NON_LINEAR_REGION_ID(H_VMEMMAP_START)
#define H_VMEMMAP_END (H_VMEMMAP_START + H_VMEMMAP_SIZE)
vmemmap = (struct page *)H_VMEMMAP_START;
address_markers[9].start_address = H_VMEMMAP_START;
address_markers[i++].start_address = H_VMEMMAP_START;