Small test program:
#include <stdio.h>
#define PCI_SIGNATURE (('P' << 0) + ('C' << 8) + ('I' << 16) +
(' ' << 24))
int main(void)
{
short status = 0x81;
long signature = 0x49435000;
printf("status = %x\nsignature = %08x\n", status, signature);
printf("PCI_SIGNATURE = %x\n", PCI_SIGNATURE);
return 0;
}
the result:
status = 81
signature = 49435000
PCI_SIGNATURE = 20494350
--
PCI: BIOS BUG #81[49435000] found - [HP pavilion dv2000]
https://bugs.launchpad.net/bugs/116734
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
