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