Symbol: XEN_MCE_LOG_LEN