Symbol: Mask4K
usr/src/uts/intel/io/dktp/controller/ata/ata_dma.c
143
ASSERT((cookie.dmac_address & Mask4K)
usr/src/uts/intel/io/dktp/controller/ata/ata_dma.c
144
== ((cookie.dmac_address + cookie.dmac_size - 1) & Mask4K));