1 2 3 4 5
/* SPDX-License-Identifier: BSD-3-Clause * Copyright (c) 2016-2018 Linaro Limited */ int main(int argc, char *argv[]);