Symbol: aarch64_set_ttbr0
sys/arch/aarch64/aarch64/cpufunc.c
446
ci->ci_cpufuncs.cf_set_ttbr0 = aarch64_set_ttbr0;
sys/arch/aarch64/include/cpufunc.h
85
void aarch64_set_ttbr0(uint64_t);