HelenOS sources

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