diff options
| author | Sean Anderson <seanga2@gmail.com> | 2020-10-05 04:39:51 +0300 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-10-16 16:44:27 +0300 |
| commit | 7399897b6c0ac5346444347ba516528b991e720f (patch) | |
| tree | d2d35adf51b9730dba7df6c89436f642968ed04c /drivers/timer | |
| parent | d13da03f3b365cb48222692768f9c047fce1d569 (diff) | |
| download | u-boot-7399897b6c0ac5346444347ba516528b991e720f.tar.xz | |
tee: optee: Include device_compat.h
Necessary for dev_xxx.
Signed-off-by: Sean Anderson <seanga2@gmail.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'drivers/timer')
0 files changed, 0 insertions, 0 deletions