Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 8c2214ebbaca05d616cb503d266debdcb2592c9f)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 7da160ba192d0a573fdd80c110c2e2499ff54e49)
@@ -406,5 +406,5 @@
 	uint64_t errno =  __hypercall_fast3(MMU_DEMAP_ALL, 0, 0,
 		MMU_FLAG_DTLB | MMU_FLAG_ITLB);
-	if (errno != EOK) {
+	if (errno != HV_EOK) {
 		panic("Error code = %d.\n", errno);
 	}