/* Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details */
#include <pc.h>
#include <dpmi.h>

int
getxkey(void)
{
  __dpmi_regs r;
  r.h.ah = 0x10;
  __dpmi_int(0x16, &r);

  if (r.h.al == 0x00)
    return 0x0100 | r.h.ah;
  if (r.h.al == 0xe0)
    return 0x0200 | r.h.ah;
  return r.h.al;
}
