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