MMU_RANGE_INV_VA_MSB_SHIFT
start >> MMU_RANGE_INV_VA_MSB_SHIFT);
inv_params->end_va >> MMU_RANGE_INV_VA_MSB_SHIFT);