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) extern int printf(const char *format, ...);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) extern char *cplus_demangle(const char *, int);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) int main(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 	char symbol[4096] = "FieldName__9ClassNameFd";
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 	char *tmp;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) 	tmp = cplus_demangle(symbol, 0);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) 	printf("demangled symbol: {%s}\n", tmp);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) 	return 0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) }