x86_dbregs_user_trap
if (x86_dbregs_user_trap())
if (x86_dbregs_user_trap()) {
int x86_dbregs_user_trap(void);