2983138955
Don't generate the data file. Use 0xffffffff rather than -1 for sign safety as these fields are uint32_t. |
||
---|---|---|
.. | ||
devlist2h.awk | ||
makeobjops.awk | ||
miidevs2h.awk | ||
pccarddevs2h.awk | ||
usbdevs2h.awk | ||
vnode_if.awk |
2983138955
Don't generate the data file. Use 0xffffffff rather than -1 for sign safety as these fields are uint32_t. |
||
---|---|---|
.. | ||
devlist2h.awk | ||
makeobjops.awk | ||
miidevs2h.awk | ||
pccarddevs2h.awk | ||
usbdevs2h.awk | ||
vnode_if.awk |