load_PCB          125 arch/alpha/mm/init.c 	original_pcb_ptr = load_PCB(&init_thread_info.pcb);
load_PCB          275 arch/alpha/mm/init.c 	load_PCB(&original_pcb);