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

