blob: 21b9015e62a5ee213decd665510de7db0199e67d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#include <console/console.h>
#include <arch/io.h>
void print_gbe(void *refcode_ppi);
void print_cf9_reset(void);
int PchIsGbeRegionValid(uint32_t rcba);
void print_gbe(void *refcode_ppi)
{
int enable_gbe = *(char*)(refcode_ppi + 0x37e);
uint32_t rcba = *(uint32_t*)(refcode_ppi + 4);
uint32_t buc = *(uint32_t*)(rcba + 0x3414);
printk(BIOS_DEBUG, "enable_gbe = %d\n"
"gbe_region_valid = %d\n"
"buc = 0x%x\n",
enable_gbe, PchIsGbeRegionValid(rcba), buc);
}
void print_cf9_reset(void)
{
printk(BIOS_DEBUG, "cf9_reset...\n");
}
void refcode_outb(uint16_t port, uint8_t value);
void refcode_outb(uint16_t port, uint8_t value)
{
printk(BIOS_DEBUG, "outb(port=0x%x,val=0x%x)\n", port, value);
outb(value, port);
}
|