taglinefilesource code
new_vptb109arch/alpha/boot/main.cnew_vptb,
new_vptb117arch/alpha/boot/main.chwrpb.vptb = new_vptb;