dtr_purge 83 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtr_purge(uintptr_t page, size_t width); dtr_purge 67 kernel/arch/ia64/src/proc/scheduler.c dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH + 1);