Symbol: SYM_XentRestart
sys/arch/alpha/alpha/db_interface.c
615
DB_ALPHA_SYM(SYM_XentRestart, XentRestart),
sys/arch/alpha/alpha/db_interface.c
666
[SYM_XentRestart] = "console restart",