ctba_hi           266 dev/pci/ahci.c 	u_int32_t		ctba_hi;
ctba_hi           947 dev/pci/ahci.c 		ccb->ccb_cmd_hdr->ctba_hi = htole32((u_int32_t)(dva >> 32));