UDBE_CE
spitfire_log_udb_syndrome(afar, udbh, udbl, UDBE_CE);
if (udbh & UDBE_CE) {
: "r" (udbh & UDBE_CE),
if (udbl & UDBE_CE) {
: "r" (udbl & UDBE_CE),