usertrapret       149 kernel/defs.h  void            usertrapret(void);
usertrapret       542 kernel/proc.c    usertrapret();
usertrapret        83 kernel/trap.c    usertrapret();