/* If this array is NULL or not a JSON array, or if index is out of range, NULL will be returned. */
EDKII_JSON_VALUE EFIAPI JsonArrayGetValue(IN EDKII_JSON_ARRAY JsonArray, IN UINTN Index)
/* If this array is NULL or not a JSON array, or if index is out of range, NULL will be returned. */
EDKII_JSON_VALUE EFIAPI JsonArrayGetValue(IN EDKII_JSON_ARRAY JsonArray, IN UINTN Index)
{
  return (EDKII_JSON_VALUE)json_array_get ((json_t *)JsonArray, Index);
}