2 Template file used to create Gasket.S
4 This file is built on the command line via gcc GasketTemplate.c -S
5 and it will create GasketTemplate.s and this was used to create
6 Gasket.S. You still have to add the extra stack alignment code to
7 the assembly functions.
9 Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
10 Portions copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>
11 This program and the accompanying materials
12 are licensed and made available under the terms and conditions of the BSD License
13 which accompanies this distribution. The full text of the license may be found at
14 http://opensource.org/licenses/bsd-license.php
16 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
17 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
26 typedef uint8_t UINT8
;
27 typedef int16_t INT16
;
28 typedef uint16_t UINT16
;
29 typedef int32_t INT32
;
30 typedef uint32_t UINT32
;
31 typedef int64_t INT64
;
32 typedef uint64_t UINT64
;
36 typedef int (*GASKET_VOID
) ();
37 typedef int (*GASKET_UINTN
) (UINTN
);
38 typedef int (*GASKET_UINTN_UINTN
) (UINTN
, UINTN
);
39 typedef int (*GASKET_UINTN_UINTN_UINTN
) (UINTN
, UINTN
, UINTN
);
40 typedef int (*GASKET_UINTN_UINTN_UINTN_UINTN
) (UINTN
, UINTN
, UINTN
, UINTN
);
41 typedef int (*GASKET_UINTN_10ARGS
) (UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
);
42 typedef int (*GASKET_UINT64_UINTN
) (UINT64
, UINTN
);
43 typedef UINT64 (*GASKET_UINTN_UINT64_UINTN
) (UINTN
, UINT64
, UINTN
);
44 typedef int (*GASKET_UINTN_UINT16
) (UINTN
, UINT16
);
46 int GasketVoid (void *api
);
47 int GasketUintn (void *api
, UINTN a
);
48 int GasketUintnUintn (void *api
, UINTN a
, UINTN b
);
49 int GasketUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
);
50 int GasketUintnUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
);
51 int GasketUintn10Args (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
, UINTN e
, UINTN f
, UINTN g
, UINTN h
, UINTN i
, UINTN j
);
52 int GasketUint64Uintn (void *api
, UINT64 a
, UINTN b
);
53 UINT64
GasketUintnUiny64Uintn (void *api
, UINTN a
, UINT64 b
, UINTN c
);
54 int GasketUintnUint16 (void *api
, UINTN a
, UINT16 b
);
59 GasketVoid (void *api
)
63 func
= (GASKET_VOID
)api
;
68 GasketUintn (void *api
, UINTN a
)
72 func
= (GASKET_UINTN
)api
;
77 GasketUintnUintn (void *api
, UINTN a
, UINTN b
)
79 GASKET_UINTN_UINTN func
;
81 func
= (GASKET_UINTN_UINTN
)api
;
87 GasketUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
)
89 GASKET_UINTN_UINTN_UINTN func
;
91 func
= (GASKET_UINTN_UINTN_UINTN
)api
;
92 return func (a
, b
, c
);
96 GasketUintnUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
)
98 GASKET_UINTN_UINTN_UINTN_UINTN func
;
100 func
= (GASKET_UINTN_UINTN_UINTN_UINTN
)api
;
101 return func (a
, b
, c
, d
);
105 GasketUintn10Args (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
, UINTN e
, UINTN f
, UINTN g
, UINTN h
, UINTN i
, UINTN j
)
107 GASKET_UINTN_10ARGS func
;
109 func
= (GASKET_UINTN_10ARGS
)api
;
110 return func (a
, b
, c
, d
, e
, f
, g
, h
, i
, j
);
115 GasketUint64Uintn (void *api
, UINT64 a
, UINTN b
)
117 GASKET_UINT64_UINTN func
;
119 func
= (GASKET_UINT64_UINTN
)api
;
124 GasketUintnUiny64Uintn (void *api
, UINTN a
, UINT64 b
, UINTN c
)
126 GASKET_UINTN_UINT64_UINTN func
;
128 func
= (GASKET_UINTN_UINT64_UINTN
)api
;
129 return func (a
, b
, c
);
133 GasketUintnUint16 (void *api
, UINTN a
, UINT16 b
)
135 GASKET_UINTN_UINT16 func
;
137 func
= (GASKET_UINTN_UINT16
)api
;