2 : pci-gen-irq-map-one ( prop-addr prop-len slot pin -- prop-addr prop-len )
3 2dup + 4 mod ( prop-addr prop-len slot pin parentpin )
4 >r >r ( prop-addr prop-len slot R: swizzledpin pin )
7 B lshift encode-int+ ( prop-addr prop-len R: swizzledpin pin )
8 \ Child 64bit BAR (not really used)
11 r> encode-int+ ( prop-addr prop-len R: swizzledpin )
14 get-parent encode-int+
18 pci-addr2dev B lshift ( prop-addr prop-len parent-slot R: swizzledpin )
20 \ Parent 64bit BAR (not really used)
23 r> encode-int+ ( prop-addr prop-len R: )
26 : pci-gen-irq-entry ( prop-addr prop-len config-addr -- prop-addr prop-len )
27 pci-addr2dev 4 mod ( prop-addr prop-len slot )
28 -rot ( slot prop-addr prop-len )
30 2 pick i ( slot prop-addr prop-len slot pin )
36 : pci-set-irq-line ( config-addr -- )