/kernel/trunk/arch/ppc32/include/mm/tlb.h |
---|
1,5 → 1,5 |
/* |
* Copyright (C) 2006 Martin Decky |
* Copyright (C) 2005 Jakub Jermar |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
29,9 → 29,7 |
#ifndef __ppc32_TLB_H__ |
#define __ppc32_TLB_H__ |
#include <arch/exception.h> |
#include <typedefs.h> |
#define tlb_arch_init() |
#define tlb_print() |
extern void pht_refill(istate_t *istate); |
#endif |