EF4_DWORD_FMT
"IRQ %d on CPU %d status " EF4_DWORD_FMT "\n",
"writing register %x with "EF4_DWORD_FMT"\n",
"read from register %x, got "EF4_DWORD_FMT"\n",