coreboot-kgpe-d16/util/vgabios/inte6.c

#include <stdio.h>
#include "testbios.h"

int intE6_handler(void)
{
#if 0
	pciVideoPtr pvp;

	if ((pvp = xf86GetPciInfoForEntity(pInt->entityIndex)))
		X86_AX = (pvp->bus << 8) | (pvp->device << 3) | (pvp->func & 0x7);
	pushw(X86_CS);
	pushw(X86_IP);
	X86_CS = pInt->BIOSseg;
	X86_EIP = 0x0003;
	X86_ES = 0;		/* standard pc es */
#endif
	printf("intE6 not supported right now.\n");
	x86emu_dump_xregs();
	return 1;
}