126     public DevicePadding getDevicePadding(int extraSpacePx) {  in getDevicePadding()  argument
128             if (extraSpacePx <= limit.maxEmptySpacePx) {  in getDevicePadding()
164         public int getWorkspaceTopPadding(int extraSpacePx) {  in getWorkspaceTopPadding()  argument
165             return workspaceTopPadding.calculate(extraSpacePx);  in getWorkspaceTopPadding()
168         public int getWorkspaceBottomPadding(int extraSpacePx) {  in getWorkspaceBottomPadding()  argument
169             return workspaceBottomPadding.calculate(extraSpacePx);  in getWorkspaceBottomPadding()
172         public int getHotseatBottomPadding(int extraSpacePx) {  in getHotseatBottomPadding()  argument
173             return hotseatBottomPadding.calculate(extraSpacePx);  in getHotseatBottomPadding()
215         public int calculate(int extraSpacePx) {  in calculate()  argument
217                 Log.d(TAG, "a=" + a + " * (" + extraSpacePx + " - " + c + ") + b=" + b);  in calculate()
219             return Math.round(a * (extraSpacePx - c) + b);  in calculate()