MEMRANGEHI
while (MEMRANGEHI(mri) < mem_node_config[mnode].physbase)
if (mem_node_config[mnode].physmax > MEMRANGEHI(mri))
while (MEMRANGEHI(mri) < mem_node_config[mnode].physbase)
mp->mnr_pfnhi = MIN(MEMRANGEHI(mri),
if (mem_node_config[mnode].physmax > MEMRANGEHI(mri))
while (MEMRANGEHI(mri) < mem_node_config[mnode].physbase)
mnoderanges[n].mnr_pfnhi = MIN(MEMRANGEHI(mri),
mnoderanges[n].mnr_pfnhi = MIN(MEMRANGEHI(mri), end);
if (mem_node_config[mnode].physmax > MEMRANGEHI(mri))