| 26,14 → 26,14 |
|---|
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| /** @addtogroup genericmm |
| /** @addtogroup genericmm |
| * @{ |
| */ |
| /** @file |
| */ |
| |
| #ifndef __TLB_H__ |
| #define __TLB_H__ |
| #ifndef KERN_TLB_H_ |
| #define KERN_TLB_H_ |
| |
| #include <arch/mm/asid.h> |
| #include <arch/types.h> |
| 75,7 → 75,6 |
|---|
| # define tlb_shootdown_ipi_recv() |
| #endif /* CONFIG_SMP */ |
| |
| |
| /* Export TLB interface that each architecture must implement. */ |
| extern void tlb_arch_init(void); |
| extern void tlb_print(void); |
| 86,6 → 85,5 |
|---|
| extern void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt); |
| #endif |
| |
| /** @} |
| /** @} |
| */ |
| |