HelenOS sources

MMU_DEMAP_PAGE    142 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	__hypercall_fast5(MMU_DEMAP_PAGE, 0, 0, vaddr, context, mmu_flag);
MMU_DEMAP_PAGE    394 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		__hypercall_fast5(MMU_DEMAP_PAGE, 0, 0, page + i * PAGE_SIZE,