Question about pci programming

[M. Warner Losh]

In message: <28631E6913C8074E95A698E8AC93D09101AAF44A at caexch1.virident.info>
            "Indranil Bhattacharya" <indranil at virident.com> writes:
: In freebsd, how do I set a dma mask for a pci device ?  In linux the
: kernel api is pci_set_dma_mask(). In particular, I will like to enable
: PCI double address cycle mapping (64 bit addressing) for our device.

Isn't this just done with the bus_dma routines passing in a 64-bit
address mask?

Warner