Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/sparc64/src/mm/sun4v/tlb.c

    r7da160b r77f65df  
    5454#include <arch/cpu.h>
    5555#include <arch/mm/pagesize.h>
    56 #include <genarch/mm/page_ht.h>
    5756
    5857#ifdef CONFIG_TSB
     
    406405        uint64_t errno =  __hypercall_fast3(MMU_DEMAP_ALL, 0, 0,
    407406                MMU_FLAG_DTLB | MMU_FLAG_ITLB);
    408         if (errno != HV_EOK) {
     407        if (errno != EOK) {
    409408                panic("Error code = %d.\n", errno);
    410409        }
Note: See TracChangeset for help on using the changeset viewer.