rtas_function_implemented
if (!rtas_function_implemented(RTAS_FN_IBM_SEND_HVPIPE_MSG) ||
!rtas_function_implemented(RTAS_FN_IBM_RECEIVE_HVPIPE_MSG))
if (!rtas_function_implemented(RTAS_FN_IBM_GET_INDICES))
if (!rtas_function_implemented(RTAS_FN_IBM_SET_DYNAMIC_INDICATOR))
if (!rtas_function_implemented(RTAS_FN_IBM_GET_DYNAMIC_SENSOR_STATE))
if (!rtas_function_implemented(RTAS_FN_IBM_PHYSICAL_ATTESTATION))
if (!rtas_function_implemented(RTAS_FN_IBM_PLATFORM_DUMP))
if (!rtas_function_implemented(RTAS_FN_IBM_GET_SYSTEM_PARAMETER))
if (!rtas_function_implemented(RTAS_FN_IBM_GET_VPD))
if (rtas_function_implemented(RTAS_FN_IBM_GET_SYSTEM_PARAMETER) ||
rtas_function_implemented(RTAS_FN_IBM_CONFIGURE_CONNECTOR))