Some kernel void functions do return a value

[Nicolas Joly <njoly%pasteur.fr@localhost>]

Hi,

While linting the kernel amd64 GENERIC sources, i noted that some void
functions do return a value:

/local/src/NetBSD/src/sys/arch/x86/x86/bus_dma.c(1321): void function 
bus_dmamap_sync cannot return value [213]
/local/src/NetBSD/src/sys/dev/ic/bwivar.h(773): void function bwi_rf_lo_update 
cannot return value [213]
/local/src/NetBSD/src/sys/dev/pci/if_sip.c(1113): void function sipcom_attach 
cannot return value [213]
/local/src/NetBSD/src/sys/dev/pci/if_sip.c(1129): void function sipcom_attach 
cannot return value [213]
/local/src/NetBSD/src/sys/kern/subr_vmem.c(1070): void function vmem_free 
cannot return value [213]
/local/src/NetBSD/src/sys/kern/subr_vmem.c(210): void function xfree cannot 
return value [213]

Could someone with more knowledge of corresponding sub-systems,
especially dma and vmem, have look ?

Thanks.

-- 
Nicolas Joly

Projects and Developments in Bioinformatics
Institut Pasteur, Paris.