Symbol: EHCI_HCC_64BIT_ADDR_CAP
usr/src/uts/common/io/usb/hcd/ehci/ehci_util.c
1285
if (Get_Cap(ehci_hcc_params) & EHCI_HCC_64BIT_ADDR_CAP) {
usr/src/uts/common/io/usb/hcd/ehci/ehci_util.c
4324
EHCI_HCC_64BIT_ADDR_CAP) ? "Yes" : "No");