/* SPDX-License-Identifier: BSD-2-Clause */
// Written by SASANO Takayoshi

#include <stdint.h>
#include "api_public.h"

int init_uboot_syscall(void);
int call_uboot_syscall(int, int *, ...);