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

int
biosequip(void)
{
  __dpmi_regs r = {0};
  __dpmi_int(0x11, &r);
  return r.x.ax;
}