MMU_RANGE_INV_VA_LSB_SHIFT
start >> MMU_RANGE_INV_VA_LSB_SHIFT);
inv_params->end_va >> MMU_RANGE_INV_VA_LSB_SHIFT);