taglinefilesource code
new_vptb133arch/alpha/boot/main.cnew_vptb,
new_vptb141arch/alpha/boot/main.chwrpb.vptb = new_vptb;