/trunk/kernel/arch/ppc32/src/mm/tlb.c |
---|
39,9 → 39,11 |
#include <mm/as.h> |
#include <arch.h> |
#include <print.h> |
#include <symtab.h> |
#include <macros.h> |
#ifdef CONFIG_SYMTAB |
#include <symtab.h> |
#endif |
static unsigned int seed = 10; |
static unsigned int seed_real __attribute__ ((section("K_UNMAPPED_DATA_START"))) = 42; |
121,6 → 123,7 |
char *symbol = ""; |
char *sym2 = ""; |
#ifdef CONFIG_SYMTAB |
char *str = get_symtab_entry(istate->pc); |
if (str) |
symbol = str; |
127,6 → 130,7 |
str = get_symtab_entry(istate->lr); |
if (str) |
sym2 = str; |
#endif |
fault_if_from_uspace(istate, |
"PHT Refill Exception on %p.", badvaddr); |