Rename CONFIG_EHCI_IS_TDI to CONFIG_USB_EHCI_IS_TDI
[platform/kernel/u-boot.git] / include / tee /
drwxr-xr-x   ..
-rw-r--r-- 1508 optee.h
-rw-r--r-- 1695 optee_ta_avb.h
-rw-r--r-- 791 optee_ta_rpc_test.h
-rw-r--r-- 538 optee_ta_scp03.h