Source position: xinput.pp line 575
type TXDeviceResolutionState = record
control: TXID;
length: cint;
num_valuators: cint;
resolutions: Pcint;
min_resolutions: Pcint;
max_resolutions: Pcint;
end;