util/vgabios/inte6.c

   1 #include <stdio.h>
   2
   3 int intE6_handler()
   4 {
   5 #if 0
   6         pciVideoPtr pvp;
   7
   8         if ((pvp = xf86GetPciInfoForEntity(pInt->entityIndex)))
   9                 X86_AX = (pvp->bus << 8) | (pvp->device << 3) | (pvp->func & 0x7);
  10         pushw(X86_CS);
  11         pushw(X86_IP);
  12         X86_CS = pInt->BIOSseg;
  13         X86_EIP = 0x0003;
  14         X86_ES = 0;             /* standard pc es */
  15 #endif
  16         printf("intE6 not supported right now.\n");
  17         return 1;
  18 }