[LinuxBIOS] Building an irq table - Help

Marc Jones marc.jones at amd.com
Thu Oct 18 17:50:40 CEST 2007

joe at smittys.pointclark.net wrote:
> Ok I am a little confused on how to tell what devices are what in irc_tablec.c
> How do I tell?? Also where does the value for the "bitmap" come from?
> Thanks for your help - Joe
> /* bus,     dev|fn,
> {0x01,(0x08<<3)|0x0,
> {0x00,(0x1f<<3)|0x0,
> {0x00,(0x1d<<3)|0x0,
> {0x00,(0x00<<3)|0x0,
> {0x00,(0x01<<3)|0x0,
> {0x01,(0x00<<3)|0x0,
> {0x01,(0x01<<3)|0x0,
> {0x01,(0x02<<3)|0x0,
> {0x01,(0x09<<3)|0x0,
> {0x01,(0x06<<3)|0x0,
> {0x01,(0x07<<3)|0x0,
> {0x00,(0x02<<3)|0x0,

There is some good information here:

Your bus/dv/fun should match the devices found when you do an lspci. The 
value for the bitmap is what IRQs are available on that INT#. Theses are 
typically 10 and/or 11 but could be any shareable IRQ.


Marc Jones
Senior Firmware Engineer
(970) 226-9684 Office
mailto:Marc.Jones at amd.com

More information about the coreboot mailing list