Several initialization and installation functions can return errors of type ARMul_Error. These errors must be passed through Hostif_RaiseError(). This is a printf-like function that formats the error message associated with an ARMul_Error error code.

Hostif_RaiseError only prints the error message. After calling this function, the model must return with an appropriate error, such as RDIError_UnableToInitialise.

Hostif_RaiseError must only be used during initialization.

void Hostif_RaiseError(const struct RDI_HostosInterface *hostif,                      const char *format, ...)