usermem
SYSCTL_PROC(_hw, HW_USERMEM, usermem,
extern unsigned long usermem(void);
mem = usermem();
u = usermem();