taglinefilesource code
from_page671mm/memory.cunsigned long from_page;
from_page674mm/memory.cfrom_page = p->tss.cr3 + ((address>>20) & 0xffc);
from_page677mm/memory.cfrom = *(unsigned long *) from_page;
from_page681mm/memory.cfrom_page = from + ((address>>10) & 0xffc);
from_page682mm/memory.cfrom = *(unsigned long *) from_page;
from_page708mm/memory.c*(unsigned long *) from_page = from;