pk/frontend.h


1
2
3
4
5
6
7
8
9
10

// See LICENSE for license details.

#ifndef _RISCV_FRONTEND_H
#define _RISCV_FRONTEND_H

#include <machine/syscall.h>

sysret_t frontend_syscall(long n, long a0, long a1, long a2, long a3);

#endif