taglinefilesource code
switch_to_osf_pal21arch/alpha/boot/main.cextern unsigned long switch_to_osf_pal(unsigned long nr,
switch_to_osf_pal129arch/alpha/boot/main.ci = switch_to_osf_pal(