/* nm.h */

#include <sys/reg.h>

#define KERNEL_U_ADDR 0xe0000000

#undef FLOAT_INFO

#define REGISTER_U_ADDR(addr, blockend, regno) \
	(addr) = i386_register_u_addr ((blockend),(regno));

extern int
i386_register_u_addr PARAMS ((int, int));

#define PTRACE_ARG3_TYPE int
