taglinefilesource code
new_vptb132arch/alpha/boot/main.cnew_vptb,
new_vptb140arch/alpha/boot/main.chwrpb.vptb = new_vptb;