2 * arch/alpha/boot/head.S
4 * initial bootloader stuff..
7 #include <asm/system.h>
38 .globl switch_to_osf_pal
39 .ent switch_to_osf_pal
61 stq $30,0($17) /* save KSP in PCB */
63 bis $30,$30,$20 /* a4 = KSP */
84 1: call_pal PAL_swppal
85 .end switch_to_osf_pal