/kernel/trunk/arch/ia64/src/proc/scheduler.c/scheduler.c |
---|
46,7 → 46,7 |
* First, make sure it is not mapped already. |
* If not, fill respective tranlsation register. |
*/ |
dtlb_mapping_insert((__address) THREAD->kstack, KA2PA(THREAD->kstack), true, DTR_KSTACK); |
dtlb_kernel_mapping_insert((__address) THREAD->kstack, KA2PA(THREAD->kstack), true, DTR_KSTACK); |
} |
} |