Searched refs:statistics_addr_high (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/drivers/scmi-msg/ | ||
| H A D | power_domain.h | 33 uint32_t statistics_addr_high; member |
| H A D | power_domain.c | 94 return_values.statistics_addr_high = (uint32_t)(addr >> 32); in report_attributes() |