px_dvma_range_prop_t
px_dvma_range_prop_t *dvma_prop;
px_dvma_range_prop_t px_dvma_range;
sizeof (px_dvma_range_prop_t) / sizeof (int));