dba_hi            285 dev/pci/ahci.c 	u_int32_t		dba_hi;
dba_hi           1350 dev/pci/ahci.c 		prd->dba_hi = htole32((u_int32_t)(addr >> 32));