Source position: xf86dga.pp line 279
procedure XDGAKeyEventToXKeyEvent(
dk: PXDGAKeyEvent;
xk: PXKeyEvent
);