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. This builds code for Unix ABI on both sides. To convert
7 to EFI ABI will require changing the code by hand
9 Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
10 Portions copyright (c) 2008 - 2010, 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 UINTN (*GASKET_VOID
) ();
37 typedef UINTN (*GASKET_UINTN
) (UINTN
);
38 typedef UINTN (*GASKET_UINT64
) (UINT64
);
39 typedef UINTN (*GASKET_UINTN_UINTN
) (UINTN
, UINTN
);
40 typedef UINTN (*GASKET_UINTN_UINTN_UINTN
) (UINTN
, UINTN
, UINTN
);
41 typedef UINTN (*GASKET_UINTN_UINTN_UINTN_UINTN
) (UINTN
, UINTN
, UINTN
, UINTN
);
42 typedef UINTN (*GASKET_UINTN_10ARGS
) (UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
, UINTN
);
43 typedef UINTN (*GASKET_UINT64_UINTN
) (UINT64
, UINTN
);
44 typedef UINT64 (*GASKET_UINTN_UINT64_UINTN
) (UINTN
, UINT64
, UINTN
);
45 typedef UINTN (*GASKET_UINTN_UINT16
) (UINTN
, UINT16
);
47 UINTN
GasketVoid (void *api
);
48 UINTN
GasketUintn (void *api
, UINTN a
);
49 UINTN
GasketUintnUintn (void *api
, UINTN a
, UINTN b
);
50 UINTN
GasketUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
);
51 UINTN
GasketUintnUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
);
52 UINTN
GasketUintn10Args (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
, UINTN e
, UINTN f
, UINTN g
, UINTN h
, UINTN i
, UINTN j
);
53 UINTN
GasketUint64Uintn (void *api
, UINT64 a
, UINTN b
);
54 UINT64
GasketUintnUiny64Uintn (void *api
, UINTN a
, UINT64 b
, UINTN c
);
55 UINTN
GasketUintnUint16 (void *api
, UINTN a
, UINT16 b
);
60 GasketVoid (void *api
)
64 func
= (GASKET_VOID
)api
;
69 GasketUintn (void *api
, UINTN a
)
73 func
= (GASKET_UINTN
)api
;
78 GasketUintnUintn (void *api
, UINTN a
, UINTN b
)
80 GASKET_UINTN_UINTN func
;
82 func
= (GASKET_UINTN_UINTN
)api
;
88 GasketUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
)
90 GASKET_UINTN_UINTN_UINTN func
;
92 func
= (GASKET_UINTN_UINTN_UINTN
)api
;
93 return func (a
, b
, c
);
97 GasketUintnUintnUintnUintn (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
)
99 GASKET_UINTN_UINTN_UINTN_UINTN func
;
101 func
= (GASKET_UINTN_UINTN_UINTN_UINTN
)api
;
102 return func (a
, b
, c
, d
);
106 GasketUintn10Args (void *api
, UINTN a
, UINTN b
, UINTN c
, UINTN d
, UINTN e
, UINTN f
, UINTN g
, UINTN h
, UINTN i
, UINTN j
)
108 GASKET_UINTN_10ARGS func
;
110 func
= (GASKET_UINTN_10ARGS
)api
;
111 return func (a
, b
, c
, d
, e
, f
, g
, h
, i
, j
);
116 GasketUint64Uintn (void *api
, UINT64 a
, UINTN b
)
118 GASKET_UINT64_UINTN func
;
120 func
= (GASKET_UINT64_UINTN
)api
;
125 GasketUintnUint64Uintn (void *api
, UINTN a
, UINT64 b
, UINTN c
)
127 GASKET_UINTN_UINT64_UINTN func
;
129 func
= (GASKET_UINTN_UINT64_UINTN
)api
;
130 return func (a
, b
, c
);
134 GasketUintnUint16 (void *api
, UINTN a
, UINT16 b
)
136 GASKET_UINTN_UINT16 func
;
138 func
= (GASKET_UINTN_UINT16
)api
;
143 ReverseGasketUint64 (void *api
, UINT64 a
)
147 func
= (GASKET_UINT64
)api
;