Symbol: aarch64_set_ttbr0_thunderx
sys/arch/aarch64/aarch64/cpufunc.c
474
ci->ci_cpufuncs.cf_set_ttbr0 = aarch64_set_ttbr0_thunderx;
sys/arch/aarch64/include/cpufunc.h
86
void aarch64_set_ttbr0_thunderx(uint64_t);