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