src/cpu/amd/model_gx2/syspreinit.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

void
StartTimer1(void)
{
	outb(0x56, 0x43);
	outb(0x12, 0x41);
}

void
SystemPreInit(void)
{

	/* they want a jump ... */
	__asm__("jmp .+2\ninvd\njmp.+2\n");
	StartTimer1();
}