Symbol: ppc_set_segment_register
headers/private/kernel/arch/ppc/arch_mmu.h
144
ppc_set_segment_register(void *virtualAddress, segment_descriptor segment)
headers/private/kernel/arch/ppc/arch_mmu_amcc440.h
127
ppc_set_segment_register(void *virtualAddress, segment_descriptor segment)