Source position: xf86dga.pp line 124
type TXDGAKeyEvent = record
_type: cint;
serial: culong;
display: PDisplay;
screen: cint;
time: TTime;
state: cuint;
keycode: cuint;
end;