/trunk/kernel/arch/sparc64/include/mm/as.h |
---|
52,7 → 52,7 |
#ifdef CONFIG_TSB |
tsb_entry_t *itsb; |
tsb_entry_t *dtsb; |
#endif |
#endif /* CONFIG_TSB */ |
} as_arch_t; |
#ifdef CONFIG_TSB |
/trunk/kernel/arch/sparc64/include/mm/cache.h |
---|
35,6 → 35,16 |
#ifndef KERN_sparc64_CACHE_H_ |
#define KERN_sparc64_CACHE_H_ |
#ifdef CONFIG_SMP |
extern void dcache_shootdown_start(void); |
extern void dcache_shootdown_finalize(void); |
extern void dcache_shootdown_ipi_recv(void); |
#else /* CONFIG_SMP */ |
#define dcache_shootdown_start(); |
#define dcache_shootdown_finalize(); |
#define dcache_shootdown_ipi_recv(); |
#endif /* CONFIG_SMP */ |
extern void dcache_flush(void); |
#endif |