drivers/pci.fs

   1 [IFDEF] CONFIG_DRIVER_PCI
   2
   3 : pci-addr-encode ( addr.lo addr.mi addr.hi )
   4   rot >r swap >r
   5   encode-int
   6   r> encode-int encode+
   7   r> encode-int encode+
   8   ;
   9
  10 : pci-len-encode ( len.lo len.hi )
  11   encode-int
  12   rot encode-int encode+
  13   ;
  14
  15 [THEN]