Changes in kernel/arch/sparc64/src/mm/sun4v/tlb.c [77f65df:7da160b] in mainline

File:

• kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified) (2 diffs)

kernel/arch/sparc64/src/mm/sun4v/tlb.c

@@ -54 +54 @@
 #include <arch/cpu.h>
 #include <arch/mm/pagesize.h>
+#include <genarch/mm/page_ht.h>
 
 #ifdef CONFIG_TSB
@@ -405 +406 @@
         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);
         }