/SPARTAN/trunk/src/build.amd64 |
---|
8,7 → 8,7 |
( |
set -e |
cd ../arch |
for a in drivers bios mm/frame.c mm/tlb.c mm/memory_init.c boot/memmap.S; do |
for a in drivers bios fpu_context.c mm/frame.c mm/tlb.c mm/memory_init.c boot/memmap.S; do |
if [ \! -e amd64/src/$a ]; then |
echo ln -sf `pwd`/ia32/src/$a amd64/src/$a |
ln -sf `pwd`/ia32/src/$a amd64/src/$a |
/SPARTAN/trunk/src/mm/vm.c |
---|
70,7 → 70,7 |
// memsetb((__address) dst_ptl0, PAGE_SIZE, 0); |
// memcpy((void *) &dst_ptl0[KAS_START_INDEX], (void *) &src_ptl0[KAS_START_INDEX], KAS_INDICES); |
memcpy((void *) dst_ptl0, (void *) GET_PTL0_ADDRESS() , PAGE_SIZE); |
memcpy((void *) dst_ptl0,(void *) src_ptl0, PAGE_SIZE); |
m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0); |
} |