Symbol: vmmr_region_t