HelenOS sources

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