taglinefilesource code
from_page616mm/memory.cunsigned long from_page;
from_page619mm/memory.cfrom_page = p->tss.cr3 + ((address>>20) & 0xffc);
from_page622mm/memory.cfrom = *(unsigned long *) from_page;
from_page626mm/memory.cfrom_page = from + ((address>>10) & 0xffc);
from_page627mm/memory.cfrom = *(unsigned long *) from_page;
from_page653mm/memory.c*(unsigned long *) from_page = from;