vmi               945 arch/ia64/kernel/setup.c 	pal_vm_info_2_u_t vmi;
vmi              1051 arch/ia64/kernel/setup.c 	if (ia64_pal_vm_summary(NULL, &vmi) == 0) {
vmi              1052 arch/ia64/kernel/setup.c 		max_ctx = (1U << (vmi.pal_vm_info_2_s.rid_size - 3)) - 1;
vmi              1053 arch/ia64/kernel/setup.c 		setup_ptcg_sem(vmi.pal_vm_info_2_s.max_purges, NPTCG_FROM_PAL);