HelenOS sources

__hypercall_fast4  130 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	__hypercall_fast4(MMU_DEMAP_CTX, 0, 0, context, mmu_flag);
__hypercall_fast4  147 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		__hypercall_fast4(
__hypercall_fast4  373 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	__hypercall_fast4(MMU_DEMAP_CTX, 0, 0, asid,
__hypercall_fast4  369 kernel/arch/sparc64/src/smp/sun4v/smp.c 	if (__hypercall_fast4(CPU_START, cpuid,