1// Copyright 2018 The Fuchsia Authors
2//
3// Use of this source code is governed by a MIT-style
4// license that can be found in the LICENSE file or at
5// https://opensource.org/licenses/MIT
6
7#include "ddk_priv.h"
8
9zx_status_t arch_smc_call(const zx_smc_parameters_t* params, zx_smc_result_t* result) {
10    return ZX_ERR_NOT_SUPPORTED;
11}
12