| #include "config.h" | |
| #include "registers.h" | |
| #include "task_apis.h" | |
| #include "dvfs.h" | |
| #include <dvfs_board.c> | |
| void get_dvfs_info(unsigned int domain, | |
| unsigned char *info_out, unsigned int *size_out) | |
| { | |
| get_dvfs_info_board(domain, info_out, size_out); | |
| return; | |
| } |