At least the NetBSD-specific code in bktr_os.c uses bus_dma* - all the vtophys() are in the FreeBSD-specific portion. ah, someone must have modernized this since 2004 :-)