Symbol: tc_badaddr
sys/arch/alpha/include/tc_machdep.h
84
#define tc_badaddr(tcaddr) \
sys/arch/pmax/include/tc_machdep.h
72
#define tc_badaddr(tcaddr) badaddr((void *)(tcaddr), sizeof (uint32_t))
sys/arch/vax/include/tc_machdep.h
72
#define tc_badaddr(tcaddr) badaddr((void *)(tcaddr), sizeof (uint32_t))