Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ppc32/include/mm/as.h

    r26aafe8 reef1b031  
    3636#define KERN_ppc32_AS_H_
    3737
     38#include <arch/mm/pht.h>
     39
    3840#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
    3941
     
    5254#define as_create_arch(as, flags)       (as != as)
    5355#define as_deinstall_arch(as)
    54 #define as_invalidate_translation_cache(as, page, cnt)
     56
     57#define as_invalidate_translation_cache(as, page, cnt) \
     58        pht_invalidate((as), (page), (cnt))
    5559
    5660extern void as_arch_init(void);
Note: See TracChangeset for help on using the changeset viewer.