# file: find_device  awk script to find a device on pci bus 
# (called by load_device script)
# args "vendor" and "device" passed in

# change field separator to tab
BEGIN {
    FS = "\t"
}

# note: printf can't handle unsigned 32 bit numbers, so we use strings
($2 ~ vendor) && ($2 ~ device) {printf("irq=0x%s io=0x%s mem=0x%s ", $3, $5, $6)}
