/*
* This file is part of the coreboot project.
- *
+ *
* Copyright (C) 2003 Eric Biederman
*
* This program is free software; you can redistribute it and/or
print_emerg_hex8(value);
print_emerg("\n");
#endif
- outb(value, 0x80);
+ outb(value, CONFIG_POST_PORT);
#endif
}