Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) /* SPDX-License-Identifier: GPL-2.0 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) #ifndef BUILTIN_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) #define BUILTIN_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) extern int cmd_set(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) extern int cmd_info(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) extern int cmd_freq_set(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) extern int cmd_freq_info(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) extern int cmd_idle_set(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) extern int cmd_idle_info(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) extern int cmd_monitor(int argc, const char **argv);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) #endif