);\r
} else {\r
// Unsupported for 32bit DXE, 64bit OS vector\r
- DEBUG (( EFI_D_ERROR, "Unsupported for 32bit DXE transfer to 64bit OS waking vector!\r\n"));\r
+ DEBUG (( DEBUG_ERROR, "Unsupported for 32bit DXE transfer to 64bit OS waking vector!\r\n"));\r
ASSERT (FALSE);\r
}\r
} else {\r
\r
return EFI_SUCCESS;\r
}\r
-\r