coreboot/util/vgabios/inte6.c
<<
>>
Prefs
   1#include <stdio.h>
   2
   3int 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}
  19
lxr.linux.no kindly hosted by Redpill Linpro AS, provider of Linux consulting and operations services since 1995.