pk/hcall.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef _PK_HCALL_H
#define _PK_HCALL_H

#define HCALL_HART_ID 0
#define HCALL_CONSOLE_PUTCHAR 1
#define HCALL_SEND_DEVICE_REQUEST 2
#define HCALL_RECEIVE_DEVICE_RESPONSE 3

#ifndef __ASSEMBLER__

extern uintptr_t do_hcall(uintptr_t which, ...);

#endif

#endif