IA64_VM_MINKERN_REGION
for (i = 0; i < IA64_VM_MINKERN_REGION; i++)
for (i = 0; i < IA64_VM_MINKERN_REGION; i++)
for (i = 0; i < IA64_VM_MINKERN_REGION; i++) {
for (i = 0; i < IA64_VM_MINKERN_REGION; i++) {
for (i = 0; i < IA64_VM_MINKERN_REGION; i++)
uint32_t pm_rid[IA64_VM_MINKERN_REGION];
#define IA64_PBVM_RR IA64_VM_MINKERN_REGION
#define VM_INIT_KERNEL_ADDRESS IA64_RR_BASE(IA64_VM_MINKERN_REGION + 1)