Searched refs:__dcc_getstatus (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/drivers/arm/dcc/ | ||
| D | dcc_console.c | 51 static inline uint32_t __dcc_getstatus(void) in __dcc_getstatus() function |
Searched refs:__dcc_getstatus (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/drivers/arm/dcc/ | ||
| D | dcc_console.c | 51 static inline uint32_t __dcc_getstatus(void) in __dcc_getstatus() function |