You are not supposed to report tipped out wages to your employer. You should only report the amount you kept, and that amount should be on your W-2. There is no tax procedure to deduct them on your tax return after you have included them in your W-2. You can try asking your employer for a corrected W-2.
See this https://www.irs.gov/pub/irs-pdf/p531.pdf
And see this https://www.irs.gov/pub/irs-access/f4070_accessible.pdf
