Source position: xinput.pp line 566
type TXDeviceResolutionControl = record
control: TXID;
length: cint;
first_valuator: cint;
num_valuators: cint;
resolutions: Pcint;
end;