Symbol: cpu_set_ttbr0
sys/arch/aarch64/aarch64/aarch64_tlb.c
61
cpu_set_ttbr0(ttbr);
sys/arch/aarch64/include/pmap.h
426
cpu_set_ttbr0(ttbr);