tag
line
file
source code
new_vptb
109
arch/alpha/boot/main.c
new_vptb,
new_vptb
117
arch/alpha/boot/main.c
hwrpb.vptb = new_vptb;