1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// IBM_PROLOG_BEGIN_TAG
// This is an automatically generated prolog.
//
// $Source: src/include/sys/syscall.h $
//
// IBM CONFIDENTIAL
//
// COPYRIGHT International Business Machines Corp. 2010 - 2011
//
// p1
//
// Object Code Only (OCO) source materials
// Licensed Internal Code Source Materials
// IBM HostBoot Licensed Internal Code
//
// The source code for this program is not published or other-
// wise divested of its trade secrets, irrespective of what has
// been deposited with the U.S. Copyright Office.
//
// Origin: 30
//
// IBM_PROLOG_END
#ifndef __SYS_SYSCALL_H
#define __SYS_SYSCALL_H
/** @file syscall.h
* @brief Defines syscall wrapper functions to get C-caller to put syscall
* parameters in the correct spots for ABI so kernel can pull them
* from the right position in the task structs.
*/
#ifdef __cplusplus
extern "C"
{
#endif
#include <stdint.h>
#include <builtins.h>
// Normal system calls.
void* _syscall0(uint64_t);
void* _syscall1(uint64_t, void*);
void* _syscall2(uint64_t, void*, void*);
void* _syscall3(uint64_t, void*, void*, void*);
void* _syscall4(uint64_t, void*, void*, void*, void*);
void* _syscall5(uint64_t, void*, void*, void*, void*, void*);
void* _syscall6(uint64_t, void*, void*, void*, void*, void*, void*);
void* _syscall7(uint64_t, void*, void*, void*, void*, void*, void*, void*);
// System calls which never return. Marked NO_RETURN so the compiler
// can make additional optimizations.
void* _syscall0_nr(uint64_t) NO_RETURN;
void* _syscall1_nr(uint64_t, void*) NO_RETURN;
void* _syscall2_nr(uint64_t, void*, void*) NO_RETURN;
void* _syscall3_nr(uint64_t, void*, void*, void*) NO_RETURN;
void* _syscall4_nr(uint64_t, void*, void*, void*, void*) NO_RETURN;
void* _syscall5_nr(uint64_t, void*, void*, void*, void*, void*) NO_RETURN;
void* _syscall6_nr(uint64_t, void*, void*, void*, void*, void*, void*)
NO_RETURN;
void* _syscall7_nr(uint64_t, void*, void*, void*, void*, void*, void*, void*)
NO_RETURN;
#ifdef __cplusplus
}
#include <kernel/syscalls.H>
#endif
#endif
|
