SYM_XentArith
DB_ALPHA_SYM(SYM_XentArith, XentArith),
return i >= SYM_XentArith && i <= SYM_exception_return;
[SYM_XentArith] = "arithmetic trap",
if (i >= SYM_XentArith && i <= SYM_exception_return) {