Symbol: ppc_translation_map_change_asid
headers/private/kernel/arch/ppc/arch_vm_translation_map.h
14
void ppc_translation_map_change_asid(VMTranslationMap *map);
src/system/kernel/arch/ppc/arch_thread.cpp
185
ppc_translation_map_change_asid(