/** * Prints a string to the EFI debug port. * * @returns The string length. * @param pszString The string to print. */ size_t VBoxPrintString(const char *pszString) { const char *pszEnd = pszString; while (*pszEnd) pszEnd++; ASMOutStrU8(EFI_DEBUG_PORT, (uint8_t const *)pszString, pszEnd - pszString); return pszEnd - pszString; }
RTDECL(void) RTLogWriteUser(const char *pch, size_t cb) { #ifdef IN_GUEST_R3 VbglR3WriteLog(pch, cb); #else /* !IN_GUEST_R3 */ const uint8_t *pau8 = (const uint8_t *)pch; if (cb > 1) ASMOutStrU8(RTLOG_DEBUG_PORT, pau8, cb); else if (cb) ASMOutU8(RTLOG_DEBUG_PORT, *pau8); #endif /* !IN_GUEST_R3 */ }