// SPDX-FileCopyrightText: 2024 Tillitis AB <tillitis.se>
// SPDX-License-Identifier: BSD-2-Clause

#include "../tk1/types.h"

#ifndef TKEY_APP_SYSCALL_H
#define TKEY_APP_SYSCALL_H

void syscall_enable(void);
int syscall(uint32_t number, uint32_t arg1);

#endif