bs3-cpu-basic-2-template.mac@ 97613

Last change on this file since 97613 was 97585, checked in by vboxsync, 2 years ago
ValKit/bs3-cpu-basic-2: Test both variations of rex.w and opsize prefixes since AMD cares about these and the order obviously matters. bugref:9898
Property svn:eol-style set to `native` Property svn:keywords set to `Author Date Id Revision`
File size: 57.5 KB

Line
1	; $Id: bs3-cpu-basic-2-template.mac 97585 2022-11-17 00:12:23Z vboxsync $
2	;; @file
3	; BS3Kit - bs3-cpu-basic-2 assembly template.
4	;
5
6	;
7	; Copyright (C) 2007-2022 Oracle and/or its affiliates.
8	;
9	; This file is part of VirtualBox base platform packages, as
10	; available from https://www.virtualbox.org.
11	;
12	; This program is free software; you can redistribute it and/or
13	; modify it under the terms of the GNU General Public License
14	; as published by the Free Software Foundation, in version 3 of the
15	; License.
16	;
17	; This program is distributed in the hope that it will be useful, but
18	; WITHOUT ANY WARRANTY; without even the implied warranty of
19	; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20	; General Public License for more details.
21	;
22	; You should have received a copy of the GNU General Public License
23	; along with this program; if not, see <https://www.gnu.org/licenses>.
24	;
25	; The contents of this file may alternatively be used under the terms
26	; of the Common Development and Distribution License Version 1.0
27	; (CDDL), a copy of it is provided in the "COPYING.CDDL" file included
28	; in the VirtualBox distribution, in which case the provisions of the
29	; CDDL are applicable instead of those of the GPL.
30	;
31	; You may elect to license modified versions of this file under the
32	; terms and conditions of either the GPL or the CDDL or both.
33	;
34	; SPDX-License-Identifier: GPL-3.0-only OR CDDL-1.0
35	;
36
37
38	;*********************************************************************************************************************************
39	;* Header Files *
40	;*********************************************************************************************************************************
41	%include "bs3kit-template-header.mac" ; setup environment
42
43
44	;*********************************************************************************************************************************
45	;* Defined Constants And Macros *
46	;*********************************************************************************************************************************
47	%ifnmacro BS3_CPUBAS2_UD_OFF
48	%macro BS3_CPUBAS2_UD_OFF 1
49	BS3_GLOBAL_NAME_EX BS3_CMN_NM(%1) %+ _offUD, , 1
50	db BS3_CMN_NM(%1).again - BS3_CMN_NM(%1)
51	%endmacro
52	%endif
53
54	%undef BS3_CPUBAS2_REF_LABEL_VIA_CS
55	%if TMPL_BITS == 16
56	%define BS3_CPUBAS2_REF_LABEL_VIA_CS(a_Label) cs:a_Label
57	%elif TMPL_BITS == 32
58	%define BS3_CPUBAS2_REF_LABEL_VIA_CS(a_Label) cs:a_Label wrt FLAT
59	%elif TMPL_BITS == 64
60	%define BS3_CPUBAS2_REF_LABEL_VIA_CS(a_Label) a_Label wrt FLAT
61	%else
62	%error TMPL_BITS
63	%endif
64
65	;;
66	; Macro for generating far jmp instruction w/o nasm adding REX.W prefixes.
67	;
68	; @param 1 The label of the memory pointer.
69	; @param 2 Prefix: 0: none, 1: 066h, 2: REX.W, 3: 066h REX.W
70	%ifnmacro BS3_CPUBAS2_JMP_FAR_MEM_LABEL
71	%macro BS3_CPUBAS2_JMP_FAR_MEM_LABEL 2
72	%if (%2) == 1 \|\| (%2) == 3
73	db 066h ; o16/o32
74	%endif
75	%if TMPL_BITS != 64
76	jmp far [BS3_CPUBAS2_REF_LABEL_VIA_CS(%1)]
77	%elif TMPL_BITS == 64
78	; 48FF2C25[040C0000] <3> jmp far [BS3_CPUBAS2_REF_LABLE_VIA_CS(.fpfn)]
79	%if (%2) == 2 \|\| (%2) == 3
80	db 048h ; REX.W
81	%endif
82	db 0ffh, 02ch, 025h
83	dd %1 wrt FLAT
84	%else
85	%error TMPL_BITS
86	%endif
87	%endmacro
88	%endif
89
90	;;
91	; Macro for generating far call instruction w/o nasm adding REX.W prefixes.
92	;
93	; @param 1 The label of the memory pointer.
94	; @param 2 Prefix: 0: none, 1: 066h, 2: REX.W, 3: 066h REX.W
95	%ifnmacro BS3_CPUBAS2_CALL_FAR_MEM_LABEL
96	%macro BS3_CPUBAS2_CALL_FAR_MEM_LABEL 2
97	%if (%2) == 1 \|\| (%2) == 3
98	db 066h ; o16/o32
99	%endif
100	%if TMPL_BITS != 64
101	call far [BS3_CPUBAS2_REF_LABEL_VIA_CS(%1)]
102	%elif TMPL_BITS == 64
103	%if (%2) == 2 \|\| (%2) == 3
104	db 048h ; REX.W
105	%endif
106	db 0ffh, 01ch, 025h ; call far [mem]
107	dd %1 wrt FLAT
108	%else
109	%error TMPL_BITS
110	%endif
111	%endmacro
112	%endif
113
114
115	;*********************************************************************************************************************************
116	;* External Symbols *
117	;*********************************************************************************************************************************
118	TMPL_BEGIN_TEXT
119
120
121
122	;
123	; Test code snippets containing code which differs between 16-bit, 32-bit
124	; and 64-bit CPUs modes.
125	;
126	%ifdef BS3_INSTANTIATING_CMN
127
128	;
129	; SIDT
130	;
131	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_bx_ud2
132	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_bx_ud2, BS3_PBC_NEAR
133	sidt [xBX]
134	.again: ud2
135	jmp .again
136	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_bx_ud2) == 3)
137	BS3_PROC_END_CMN bs3CpuBasic2_sidt_bx_ud2
138
139	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_opsize_bx_ud2
140	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_opsize_bx_ud2, BS3_PBC_NEAR
141	db X86_OP_PRF_SIZE_OP
142	sidt [xBX]
143	.again: ud2
144	jmp .again
145	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_opsize_bx_ud2) == 4)
146	BS3_PROC_END_CMN bs3CpuBasic2_sidt_opsize_bx_ud2
147
148	%if TMPL_BITS == 64
149	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_rexw_bx_ud2
150	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_rexw_bx_ud2, BS3_PBC_NEAR
151	db X86_OP_REX_W
152	sidt [xBX]
153	.again: ud2
154	jmp .again
155	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_rexw_bx_ud2) == 4)
156	BS3_PROC_END_CMN bs3CpuBasic2_sidt_rexw_bx_ud2
157
158	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_opsize_rexw_bx_ud2
159	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_opsize_rexw_bx_ud2, BS3_PBC_NEAR
160	db X86_OP_PRF_SIZE_OP
161	db X86_OP_REX_W
162	sidt [xBX]
163	.again: ud2
164	jmp .again
165	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_opsize_rexw_bx_ud2) == 5)
166	BS3_PROC_END_CMN bs3CpuBasic2_sidt_opsize_rexw_bx_ud2
167	%endif
168
169	%if TMPL_BITS != 64
170	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_ss_bx_ud2
171	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_ss_bx_ud2, BS3_PBC_NEAR
172	sidt [ss:xBX]
173	.again: ud2
174	jmp .again
175	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_ss_bx_ud2) == 4)
176	BS3_PROC_END_CMN bs3CpuBasic2_sidt_ss_bx_ud2
177
178	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sidt_opsize_ss_bx_ud2
179	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sidt_opsize_ss_bx_ud2, BS3_PBC_NEAR
180	db X86_OP_PRF_SIZE_OP
181	sidt [ss:xBX]
182	.again: ud2
183	jmp .again
184	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sidt_opsize_ss_bx_ud2) == 5)
185	BS3_PROC_END_CMN bs3CpuBasic2_sidt_opsize_ss_bx_ud2
186	%endif
187
188
189	;
190	; SGDT
191	;
192	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_bx_ud2
193	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_bx_ud2, BS3_PBC_NEAR
194	sgdt [xBX]
195	.again: ud2
196	jmp .again
197	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_bx_ud2) == 3)
198	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_bx_ud2
199
200	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_opsize_bx_ud2
201	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_opsize_bx_ud2, BS3_PBC_NEAR
202	db X86_OP_PRF_SIZE_OP
203	sgdt [xBX]
204	.again: ud2
205	jmp .again
206	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_opsize_bx_ud2) == 4)
207	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_opsize_bx_ud2
208
209	%if TMPL_BITS == 64
210	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_rexw_bx_ud2
211	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_rexw_bx_ud2, BS3_PBC_NEAR
212	db X86_OP_REX_W
213	sgdt [xBX]
214	.again: ud2
215	jmp .again
216	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_rexw_bx_ud2) == 4)
217	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_rexw_bx_ud2
218
219	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_opsize_rexw_bx_ud2
220	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_opsize_rexw_bx_ud2, BS3_PBC_NEAR
221	db X86_OP_PRF_SIZE_OP
222	db X86_OP_REX_W
223	sgdt [xBX]
224	.again: ud2
225	jmp .again
226	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_opsize_rexw_bx_ud2) == 5)
227	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_opsize_rexw_bx_ud2
228	%endif
229
230	%if TMPL_BITS != 64
231	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_ss_bx_ud2
232	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_ss_bx_ud2, BS3_PBC_NEAR
233	sgdt [ss:xBX]
234	.again: ud2
235	jmp .again
236	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_ss_bx_ud2) == 4)
237	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_ss_bx_ud2
238
239	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_sgdt_opsize_ss_bx_ud2
240	BS3_PROC_BEGIN_CMN bs3CpuBasic2_sgdt_opsize_ss_bx_ud2, BS3_PBC_NEAR
241	db X86_OP_PRF_SIZE_OP
242	sgdt [ss:xBX]
243	.again: ud2
244	jmp .again
245	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_sgdt_opsize_ss_bx_ud2) == 5)
246	BS3_PROC_END_CMN bs3CpuBasic2_sgdt_opsize_ss_bx_ud2
247	%endif
248
249
250	;
251	; LIDT
252	;
253	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_bx__sidt_es_di__lidt_es_si__ud2
254	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
255	lidt [xBX]
256	sidt [BS3_NOT_64BIT(es:) xDI]
257	lidt [BS3_NOT_64BIT(es:) xSI]
258	.again:
259	ud2
260	jmp .again
261	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_bx__sidt_es_di__lidt_es_si__ud2) == BS3_IF_64BIT_OTHERWISE(9,11))
262	BS3_PROC_END_CMN bs3CpuBasic2_lidt_bx__sidt_es_di__lidt_es_si__ud2
263
264	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_opsize_bx__sidt_es_di__lidt_es_si__ud2
265	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_opsize_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
266	db X86_OP_PRF_SIZE_OP
267	lidt [xBX]
268	sidt [BS3_NOT_64BIT(es:) xDI]
269	lidt [BS3_NOT_64BIT(es:) xSI]
270	.again:
271	ud2
272	jmp .again
273	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_opsize_bx__sidt_es_di__lidt_es_si__ud2) == BS3_IF_64BIT_OTHERWISE(10,12))
274	BS3_PROC_END_CMN bs3CpuBasic2_lidt_opsize_bx__sidt_es_di__lidt_es_si__ud2
275
276	%if TMPL_BITS == 16
277	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_opsize_bx__sidt32_es_di__lidt_es_si__ud2
278	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_opsize_bx__sidt32_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
279	db X86_OP_PRF_SIZE_OP
280	lidt [xBX]
281	jmp dword BS3_SEL_R0_CS32:.in_32bit wrt FLAT
282	BS3_SET_BITS 32
283	.in_32bit:
284	sidt [es:edi]
285	lidt [es:esi]
286	jmp dword BS3_SEL_R0_CS16:.again wrt CGROUP16
287	BS3_SET_BITS 16
288	.again:
289	ud2
290	jmp .again
291	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_opsize_bx__sidt32_es_di__lidt_es_si__ud2) == 27)
292	BS3_PROC_END_CMN bs3CpuBasic2_lidt_opsize_bx__sidt32_es_di__lidt_es_si__ud2
293	%endif
294
295	%if TMPL_BITS == 64
296	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_rexw_bx__sidt_es_di__lidt_es_si__ud2
297	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_rexw_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
298	db X86_OP_REX_W
299	lidt [xBX]
300	sidt [xDI]
301	lidt [xSI]
302	.again:
303	ud2
304	jmp .again
305	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_rexw_bx__sidt_es_di__lidt_es_si__ud2) == 10)
306	BS3_PROC_END_CMN bs3CpuBasic2_lidt_rexw_bx__sidt_es_di__lidt_es_si__ud2
307
308	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_opsize_rexw_bx__sidt_es_di__lidt_es_si__ud2
309	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_opsize_rexw_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
310	db X86_OP_PRF_SIZE_OP
311	db X86_OP_REX_W
312	lidt [xBX]
313	sidt [xDI]
314	lidt [xSI]
315	.again:
316	ud2
317	jmp .again
318	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_opsize_rexw_bx__sidt_es_di__lidt_es_si__ud2) == 11)
319	BS3_PROC_END_CMN bs3CpuBasic2_lidt_opsize_rexw_bx__sidt_es_di__lidt_es_si__ud2
320	%endif
321
322	%if TMPL_BITS != 64
323	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_ss_bx__sidt_es_di__lidt_es_si__ud2
324	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_ss_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
325	lidt [ss:xBX]
326	sidt [BS3_NOT_64BIT(es:) xDI]
327	lidt [BS3_NOT_64BIT(es:) xSI]
328	.again:
329	ud2
330	jmp .again
331	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_ss_bx__sidt_es_di__lidt_es_si__ud2) == 12)
332	BS3_PROC_END_CMN bs3CpuBasic2_lidt_ss_bx__sidt_es_di__lidt_es_si__ud2
333
334	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lidt_opsize_ss_bx__sidt_es_di__lidt_es_si__ud2
335	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lidt_opsize_ss_bx__sidt_es_di__lidt_es_si__ud2, BS3_PBC_NEAR
336	db X86_OP_PRF_SIZE_OP
337	lidt [ss:xBX]
338	sidt [BS3_NOT_64BIT(es:) xDI]
339	lidt [BS3_NOT_64BIT(es:) xSI]
340	.again:
341	ud2
342	jmp .again
343	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lidt_opsize_ss_bx__sidt_es_di__lidt_es_si__ud2) == 13)
344	BS3_PROC_END_CMN bs3CpuBasic2_lidt_opsize_ss_bx__sidt_es_di__lidt_es_si__ud2
345	%endif
346
347
348	;
349	; LGDT
350	;
351	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_bx__sgdt_es_di__lgdt_es_si__ud2
352	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
353	lgdt [xBX]
354	sgdt [BS3_NOT_64BIT(es:) xDI]
355	lgdt [BS3_NOT_64BIT(es:) xSI]
356	.again:
357	ud2
358	jmp .again
359	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_bx__sgdt_es_di__lgdt_es_si__ud2) == BS3_IF_64BIT_OTHERWISE(9,11))
360	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_bx__sgdt_es_di__lgdt_es_si__ud2
361
362	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_opsize_bx__sgdt_es_di__lgdt_es_si__ud2
363	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_opsize_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
364	db X86_OP_PRF_SIZE_OP
365	lgdt [xBX]
366	sgdt [BS3_NOT_64BIT(es:) xDI]
367	lgdt [BS3_NOT_64BIT(es:) xSI]
368	.again:
369	ud2
370	jmp .again
371	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_opsize_bx__sgdt_es_di__lgdt_es_si__ud2) == BS3_IF_64BIT_OTHERWISE(10,12))
372	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_opsize_bx__sgdt_es_di__lgdt_es_si__ud2
373
374	%if TMPL_BITS == 64
375	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_rexw_bx__sgdt_es_di__lgdt_es_si__ud2
376	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_rexw_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
377	db X86_OP_REX_W
378	lgdt [xBX]
379	sgdt [xDI]
380	lgdt [xSI]
381	.again:
382	ud2
383	jmp .again
384	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_rexw_bx__sgdt_es_di__lgdt_es_si__ud2) == 10)
385	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_rexw_bx__sgdt_es_di__lgdt_es_si__ud2
386
387	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_opsize_rexw_bx__sgdt_es_di__lgdt_es_si__ud2
388	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_opsize_rexw_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
389	db X86_OP_PRF_SIZE_OP
390	db X86_OP_REX_W
391	lgdt [xBX]
392	sgdt [xDI]
393	lgdt [xSI]
394	.again:
395	ud2
396	jmp .again
397	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_opsize_rexw_bx__sgdt_es_di__lgdt_es_si__ud2) == 11)
398	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_opsize_rexw_bx__sgdt_es_di__lgdt_es_si__ud2
399	%endif
400
401	%if TMPL_BITS != 64
402	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_ss_bx__sgdt_es_di__lgdt_es_si__ud2
403	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_ss_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
404	lgdt [ss:xBX]
405	sgdt [BS3_NOT_64BIT(es:) xDI]
406	lgdt [BS3_NOT_64BIT(es:) xSI]
407	.again:
408	ud2
409	jmp .again
410	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_ss_bx__sgdt_es_di__lgdt_es_si__ud2) == 12)
411	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_ss_bx__sgdt_es_di__lgdt_es_si__ud2
412
413	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_lgdt_opsize_ss_bx__sgdt_es_di__lgdt_es_si__ud2
414	BS3_PROC_BEGIN_CMN bs3CpuBasic2_lgdt_opsize_ss_bx__sgdt_es_di__lgdt_es_si__ud2, BS3_PBC_NEAR
415	db X86_OP_PRF_SIZE_OP
416	lgdt [ss:xBX]
417	sgdt [BS3_NOT_64BIT(es:) xDI]
418	lgdt [BS3_NOT_64BIT(es:) xSI]
419	.again:
420	ud2
421	jmp .again
422	AssertCompile(.again - BS3_CMN_NM(bs3CpuBasic2_lgdt_opsize_ss_bx__sgdt_es_di__lgdt_es_si__ud2) == 13)
423	BS3_PROC_END_CMN bs3CpuBasic2_lgdt_opsize_ss_bx__sgdt_es_di__lgdt_es_si__ud2
424	%endif ; TMPL_BITS != 64
425
426	;
427	; #PF & #AC
428	;
429
430	; For testing read access.
431	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_mov_ax_ds_bx__ud2
432	BS3_PROC_BEGIN_CMN bs3CpuBasic2_mov_ax_ds_bx__ud2, BS3_PBC_NEAR
433	mov xAX, [xBX]
434	.again: ud2
435	jmp .again
436	AssertCompile(.again - BS3_LAST_LABEL == 2 + (TMPL_BITS == 64))
437	BS3_PROC_END_CMN bs3CpuBasic2_mov_ax_ds_bx__ud2
438
439
440	; For testing write access.
441	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_mov_ds_bx_ax__ud2
442	BS3_PROC_BEGIN_CMN bs3CpuBasic2_mov_ds_bx_ax__ud2, BS3_PBC_NEAR
443	mov [xBX], xAX
444	.again: ud2
445	jmp .again
446	AssertCompile(.again - BS3_LAST_LABEL == 2 + (TMPL_BITS == 64))
447	BS3_PROC_END_CMN bs3CpuBasic2_mov_ds_bx_ax__ud2
448
449
450	; For testing read+write access.
451	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_xchg_ds_bx_ax__ud2
452	BS3_PROC_BEGIN_CMN bs3CpuBasic2_xchg_ds_bx_ax__ud2, BS3_PBC_NEAR
453	xchg [xBX], xAX
454	.again: ud2
455	jmp .again
456	AssertCompile(.again - BS3_LAST_LABEL == 2 + (TMPL_BITS == 64))
457	BS3_PROC_END_CMN bs3CpuBasic2_xchg_ds_bx_ax__ud2
458
459
460	; Another read+write access test.
461	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_cmpxchg_ds_bx_cx__ud2
462	BS3_PROC_BEGIN_CMN bs3CpuBasic2_cmpxchg_ds_bx_cx__ud2, BS3_PBC_NEAR
463	cmpxchg [xBX], xCX
464	.again: ud2
465	jmp .again
466	AssertCompile(.again - BS3_LAST_LABEL == 3 + (TMPL_BITS == 64))
467	BS3_PROC_END_CMN bs3CpuBasic2_cmpxchg_ds_bx_cx__ud2
468
469
470	; For testing read access from an aborted instruction: DIV by zero
471	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_div_ds_bx__ud2
472	BS3_PROC_BEGIN_CMN bs3CpuBasic2_div_ds_bx__ud2, BS3_PBC_NEAR
473	div xPRE [xBX]
474	.again: ud2
475	jmp .again
476	AssertCompile(.again - BS3_LAST_LABEL == 2 + (TMPL_BITS == 64))
477	BS3_PROC_END_CMN bs3CpuBasic2_div_ds_bx__ud2
478
479	; For testing FLD m80 alignment (#AC).
480	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_fninit_fld_ds_bx__ud2
481	BS3_PROC_BEGIN_CMN bs3CpuBasic2_fninit_fld_ds_bx__ud2, BS3_PBC_NEAR
482	fninit ; make sure to not trigger a stack overflow.
483	.actual_test_instruction:
484	fld tword [xBX]
485	.again: ud2
486	jmp .again
487	AssertCompile(.actual_test_instruction - BS3_LAST_LABEL == 2)
488	BS3_PROC_END_CMN bs3CpuBasic2_fninit_fld_ds_bx__ud2
489
490	; For testing FBLD m80 alignment (#AC).
491	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_fninit_fbld_ds_bx__ud2
492	BS3_PROC_BEGIN_CMN bs3CpuBasic2_fninit_fbld_ds_bx__ud2, BS3_PBC_NEAR
493	fninit ; make sure to not trigger a stack overflow.
494	.actual_test_instruction:
495	fbld tword [xBX]
496	.again: ud2
497	jmp .again
498	AssertCompile(.actual_test_instruction - BS3_LAST_LABEL == 2)
499	BS3_PROC_END_CMN bs3CpuBasic2_fninit_fbld_ds_bx__ud2
500
501	; For testing FST m80 alignment (#AC).
502	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_fninit_fldz_fstp_ds_bx__ud2
503	BS3_PROC_BEGIN_CMN bs3CpuBasic2_fninit_fldz_fstp_ds_bx__ud2, BS3_PBC_NEAR
504	fninit ; make sure to not trigger a stack overflow.
505	fldz ; make sure we've got something to store
506	.actual_test_instruction:
507	fstp tword [xBX]
508	.again: ud2
509	jmp .again
510	AssertCompile(.actual_test_instruction - BS3_LAST_LABEL == 4)
511	BS3_PROC_END_CMN bs3CpuBasic2_fninit_fldz_fstp_ds_bx__ud2
512
513	; For testing FXSAVE alignment (#AC/#GP).
514	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_fxsave_ds_bx__ud2
515	BS3_PROC_BEGIN_CMN bs3CpuBasic2_fxsave_ds_bx__ud2, BS3_PBC_NEAR
516	fxsave [xBX]
517	.again: ud2
518	jmp .again
519	BS3_PROC_END_CMN bs3CpuBasic2_fxsave_ds_bx__ud2
520
521
522	; Two memory operands: push [mem]
523	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_push_ds_bx__ud2
524	BS3_PROC_BEGIN_CMN bs3CpuBasic2_push_ds_bx__ud2, BS3_PBC_NEAR
525	push xPRE [xBX]
526	.again: ud2
527	jmp .again
528	AssertCompile(.again - BS3_LAST_LABEL == 2)
529	BS3_PROC_END_CMN bs3CpuBasic2_push_ds_bx__ud2
530
531	; Two memory operands: pop [mem]
532	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_push_ax__pop_ds_bx__ud2
533	BS3_PROC_BEGIN_CMN bs3CpuBasic2_push_ax__pop_ds_bx__ud2, BS3_PBC_NEAR
534	push xAX
535	pop xPRE [xBX]
536	.again: ud2
537	jmp .again
538	AssertCompile(.again - BS3_LAST_LABEL == 3)
539	BS3_PROC_END_CMN bs3CpuBasic2_push_ax__pop_ds_bx__ud2
540
541	; Two memory operands: call [mem]
542	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ds_bx__ud2
543	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ds_bx__ud2, BS3_PBC_NEAR
544	call xPRE [xBX]
545	.again: ud2
546	jmp .again
547	AssertCompile(.again - BS3_LAST_LABEL == 2)
548	BS3_PROC_END_CMN bs3CpuBasic2_call_ds_bx__ud2
549
550	; For testing #GP vs #PF write
551	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_insb__ud2
552	BS3_PROC_BEGIN_CMN bs3CpuBasic2_insb__ud2, BS3_PBC_NEAR
553	insb
554	.again: ud2
555	jmp .again
556	AssertCompile(.again - BS3_LAST_LABEL == 1)
557	BS3_PROC_END_CMN bs3CpuBasic2_insb__ud2
558
559
560	;*********************************************************************************************************************************
561	;* Non-far JMP & CALL Tests (simple ones). *
562	;*********************************************************************************************************************************
563
564	; jmp rel8 (forwards)
565	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jb__ud2
566	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jb__ud2, BS3_PBC_NEAR
567	jmp short .again
568	.post_jmp:
569	times 7 int3
570	.again: ud2
571	int3
572	jmp .again
573	AssertCompile(.post_jmp - BS3_LAST_LABEL == 2)
574	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jb__ud2
575
576
577	; jmp rel8 (backwards)
578	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jb_back__ud2),.again), function, 2
579	ud2
580	times 7 int3
581	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jb_back__ud2
582	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jb_back__ud2, BS3_PBC_NEAR
583	jmp short .again
584	.post_jmp:
585	int3
586	AssertCompile(.post_jmp - BS3_LAST_LABEL == 2)
587	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jb_back__ud2
588
589
590	; jmp rel16 (forwards)
591	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jv__ud2
592	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jv__ud2, BS3_PBC_NEAR
593	jmp near .again
594	.post_jmp:
595	times 9 int3
596	.again: ud2
597	int3
598	jmp .again
599	%if TMPL_BITS == 16
600	AssertCompile(.post_jmp - BS3_LAST_LABEL == 3)
601	%else
602	AssertCompile(.post_jmp - BS3_LAST_LABEL == 5)
603	%endif
604	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jv__ud2
605
606
607	; jmp rel16 (backwards)
608	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jv_back__ud2),.again), function, 2
609	ud2
610	times 6 int3
611	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jv_back__ud2
612	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jv_back__ud2, BS3_PBC_NEAR
613	jmp near .again
614	.post_jmp:
615	int3
616	%if TMPL_BITS == 16
617	AssertCompile(.post_jmp - BS3_LAST_LABEL == 3)
618	%else
619	AssertCompile(.post_jmp - BS3_LAST_LABEL == 5)
620	%endif
621	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jv_back__ud2
622
623
624	; jmp [indirect]
625	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_mem__ud2
626	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_mem__ud2, BS3_PBC_NEAR
627	%if TMPL_BITS == 16
628	jmp [word cs:.npAgain]
629	%elif TMPL_BITS == 32
630	jmp [dword cs:.npAgain]
631	%else
632	jmp [.npAgain]
633	%endif
634	.post_jmp:
635	times 9 int3
636	.npAgain:
637	%if TMPL_BITS == 16
638	dw BS3_TEXT16_WRT(.again)
639	%else
640	dd .again wrt FLAT
641	%if TMPL_BITS == 64
642	dd 0
643	%endif
644	%endif
645	.again: ud2
646	int3
647	jmp .again
648	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_mem__ud2
649
650	; jmp [xAX]
651	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_xAX__ud2
652	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_xAX__ud2, BS3_PBC_NEAR
653	jmp xAX
654	.post_jmp:
655	times 17 int3
656	.again: ud2
657	int3
658	jmp .again
659	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_xAX__ud2
660
661	; jmp [xDI]
662	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_xDI__ud2
663	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_xDI__ud2, BS3_PBC_NEAR
664	jmp xDI
665	.post_jmp:
666	times 17 int3
667	.again: ud2
668	int3
669	jmp .again
670	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_xDI__ud2
671
672	%if TMPL_BITS == 64
673	; jmp [xAX]
674	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_r9__ud2
675	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_r9__ud2, BS3_PBC_NEAR
676	jmp r9
677	.post_jmp:
678	times 17 int3
679	.again: ud2
680	int3
681	jmp .again
682	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_r9__ud2
683	%endif
684
685
686	; call rel16/32 (forwards)
687	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_jv__ud2
688	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_jv__ud2, BS3_PBC_NEAR
689	call near .again
690	.post_call:
691	times 9 int3
692	.again: ud2
693	int3
694	jmp .again
695	%if TMPL_BITS == 16
696	AssertCompile(.post_call - BS3_LAST_LABEL == 3)
697	%else
698	AssertCompile(.post_call - BS3_LAST_LABEL == 5)
699	%endif
700	BS3_PROC_END_CMN bs3CpuBasic2_call_jv__ud2
701
702	; call rel16/32 (backwards)
703	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_call_jv_back__ud2),.again), function, 2
704	ud2
705	times 6 int3
706	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_jv_back__ud2
707	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_jv_back__ud2, BS3_PBC_NEAR
708	call near .again
709	.post_call:
710	int3
711	%if TMPL_BITS == 16
712	AssertCompile(.post_call - BS3_LAST_LABEL == 3)
713	%else
714	AssertCompile(.post_call - BS3_LAST_LABEL == 5)
715	%endif
716	BS3_PROC_END_CMN bs3CpuBasic2_call_jv_back__ud2
717
718	; call [indirect]
719	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_mem__ud2
720	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_mem__ud2, BS3_PBC_NEAR
721	%if TMPL_BITS == 16
722	call [word cs:.npAgain]
723	%elif TMPL_BITS == 32
724	call [dword cs:.npAgain]
725	%else
726	call [.npAgain]
727	%endif
728	.post_call:
729	times 9 int3
730	.npAgain:
731	%if TMPL_BITS == 16
732	dw BS3_TEXT16_WRT(.again)
733	%else
734	dd .again wrt FLAT
735	%if TMPL_BITS == 64
736	dd 0
737	%endif
738	%endif
739	.again: ud2
740	int3
741	jmp .again
742	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_mem__ud2
743
744	; call [xAX]
745	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_xAX__ud2
746	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_xAX__ud2, BS3_PBC_NEAR
747	call xAX
748	.post_call:
749	times 17 int3
750	.again: ud2
751	int3
752	jmp .again
753	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_xAX__ud2
754
755	; call [xDI]
756	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_xDI__ud2
757	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_xDI__ud2, BS3_PBC_NEAR
758	call xDI
759	.post_call:
760	times 17 int3
761	.again: ud2
762	int3
763	jmp .again
764	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_xDI__ud2
765
766	%if TMPL_BITS == 64
767	; call [xAX]
768	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_r9__ud2
769	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_r9__ud2, BS3_PBC_NEAR
770	call r9
771	.post_call:
772	times 17 int3
773	.again: ud2
774	int3
775	jmp .again
776	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_r9__ud2
777	%endif
778
779
780	;
781	; When applying opsize, we need to put this in the 16-bit text segment to
782	; better control where we end up in 32-bit and 64-bit mode.
783	;
784	; Try keep the code out of the IVT and BIOS data area. We ASSUME that the
785	; BS3TEXT16 segment portion in this object file will be at the start of the
786	; image, so we won't waste much space padding up to offset 0x600.
787	;
788	BS3_BEGIN_TEXT16 TMPL_BITS
789	%if TMPL_BITS == 32
790	%assign here ($ - $$)
791	%if here < 0x600
792	times (0x600 - here) int3
793	%endif
794	%endif
795	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_jmp_opsize_begin), , 1
796
797
798	; jmp rel8 (forwards) with opsize override.
799	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jb_opsize__ud2
800	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jb_opsize__ud2, BS3_PBC_NEAR
801	db 66h
802	jmp short .again
803	.post_jmp:
804	times 8 int3
805	.again: ud2
806	int3
807	jmp .again
808	AssertCompile(.post_jmp - BS3_LAST_LABEL == 3)
809	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jb_opsize__ud2
810
811
812	; jmp rel8 (backwards) with opsize override.
813	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jb_opsize_back__ud2),.again), function, 2
814	ud2
815	times 19 int3
816	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jb_opsize_back__ud2
817	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jb_opsize_back__ud2, BS3_PBC_NEAR
818	db 66h
819	jmp short .again
820	.post_jmp:
821	int3
822	AssertCompile(.post_jmp - BS3_LAST_LABEL == 3)
823	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jb_opsize_back__ud2
824
825
826	; jmp rel16 (forwards) with opsize override.
827	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jv_opsize__ud2
828	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jv_opsize__ud2, BS3_PBC_NEAR
829	db 66h, 0e9h ; o32 jmp near .again
830	%if TMPL_BITS != 32
831	dd 11
832	%else
833	dw 11
834	%endif
835	.post_jmp:
836	times 11 int3
837	.again: ud2
838	int3
839	jmp .again
840	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jv_opsize__ud2
841
842
843	; jmp rel16 (backwards) with opsize override.
844	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jv_opsize_back__ud2),.again), function, 2
845	ud2
846	times 19 int3
847	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_jv_opsize_back__ud2
848	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_jv_opsize_back__ud2, BS3_PBC_NEAR
849	%if TMPL_BITS != 32
850	db 66h, 0e9h ; o32 jmp near .again
851	dd RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jv_opsize_back__ud2),.again) - .post_jmp
852	%else
853	db 66h, 0e9h ; o16 jmp near .again
854	dw RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_jmp_jv_opsize_back__ud2),.again) - .post_jmp
855	%endif
856	.post_jmp:
857	int3
858	BS3_PROC_END_CMN bs3CpuBasic2_jmp_jv_opsize_back__ud2
859
860
861	; jmp [indirect]
862	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_mem_opsize__ud2
863	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_mem_opsize__ud2, BS3_PBC_NEAR
864	db 66h
865	%if TMPL_BITS == 16
866	jmp [word cs:.npAgain]
867	%elif TMPL_BITS == 32
868	jmp [dword cs:.npAgain wrt FLAT]
869	%else
870	jmp [.npAgain wrt FLAT]
871	%endif
872	.post_jmp:
873	times 9 int3
874	.npAgain:
875	%if TMPL_BITS == 16
876	dw BS3_TEXT16_WRT(.again)
877	dw 0
878	%else
879	dw .again wrt CGROUP16
880	dw 0faceh, 0f00dh, 07777h ; non-canonical address
881	%endif
882	.again: ud2
883	int3
884	jmp .again
885	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_mem_opsize__ud2
886
887	%if TMPL_BITS == 64
888	; jmp [indirect] - 64-bit intel version
889	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_mem_opsize__ud2__intel
890	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_mem_opsize__ud2__intel, BS3_PBC_NEAR
891	db 66h
892	jmp [.npAgain wrt FLAT]
893	.post_jmp:
894	times 8 int3
895	.npAgain:
896	dd .again wrt FLAT
897	dd 0
898	.again: ud2
899	int3
900	jmp .again
901	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_mem_opsize__ud2__intel
902	%endif
903
904	; jmp [xAX]
905	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmp_ind_xAX_opsize__ud2
906	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmp_ind_xAX_opsize__ud2, BS3_PBC_NEAR
907	db 66h
908	jmp xAX
909	.post_jmp:
910	times 8 int3
911	.again: ud2
912	int3
913	jmp .again
914	BS3_PROC_END_CMN bs3CpuBasic2_jmp_ind_xAX_opsize__ud2
915
916
917	; call rel16/32 (forwards) with opsize override.
918	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_jv_opsize__ud2
919	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_jv_opsize__ud2, BS3_PBC_NEAR
920	db 66h, 0e8h ; o32 jmp near .again
921	%if TMPL_BITS != 32
922	dd 12
923	%else
924	dw 12
925	%endif
926	.post_call:
927	times 12 int3
928	.again: ud2
929	int3
930	jmp .again
931	BS3_PROC_END_CMN bs3CpuBasic2_call_jv_opsize__ud2
932
933
934	; call rel16/32 (backwards) with opsize override.
935	BS3_GLOBAL_NAME_EX RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_call_jv_opsize_back__ud2),.again), function, 2
936	ud2
937	times 19 int3
938	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_jv_opsize_back__ud2
939	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_jv_opsize_back__ud2, BS3_PBC_NEAR
940	%if TMPL_BITS != 32
941	db 66h, 0e8h ; o32 call near .again
942	dd RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_call_jv_opsize_back__ud2),.again) - .post_call
943	%else
944	db 66h, 0e8h ; o16 call near .again
945	dw RT_CONCAT(BS3_CMN_NM(bs3CpuBasic2_call_jv_opsize_back__ud2),.again) - .post_call
946	%endif
947	.post_call:
948	int3
949	BS3_PROC_END_CMN bs3CpuBasic2_call_jv_opsize_back__ud2
950
951	; call [indirect]
952	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_mem_opsize__ud2
953	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_mem_opsize__ud2, BS3_PBC_NEAR
954	db 66h
955	%if TMPL_BITS == 16
956	call [word cs:.npAgain]
957	%elif TMPL_BITS == 32
958	call [dword cs:.npAgain wrt FLAT]
959	%else
960	call [.npAgain wrt FLAT]
961	%endif
962	.post_call:
963	times 9 int3
964	.npAgain:
965	%if TMPL_BITS == 16
966	dw BS3_TEXT16_WRT(.again)
967	dw 0
968	%else
969	dw .again wrt CGROUP16
970	dw 0faceh, 0f00dh, 07777h ; non-canonical address
971	%endif
972	.again: ud2
973	int3
974	jmp .again
975	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_mem_opsize__ud2
976
977	%if TMPL_BITS == 64
978	; call [indirect] - 64-bit intel version
979	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_mem_opsize__ud2__intel
980	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_mem_opsize__ud2__intel, BS3_PBC_NEAR
981	db 66h
982	call [.npAgain wrt FLAT]
983	.post_call:
984	times 8 int3
985	.npAgain:
986	dd .again wrt FLAT
987	dd 0
988	.again: ud2
989	int3
990	jmp .again
991	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_mem_opsize__ud2__intel
992	%endif
993
994	; call [xAX]
995	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_call_ind_xAX_opsize__ud2
996	BS3_PROC_BEGIN_CMN bs3CpuBasic2_call_ind_xAX_opsize__ud2, BS3_PBC_NEAR
997	db 66h
998	call xAX
999	.post_call:
1000	times 8 int3
1001	.again: ud2
1002	int3
1003	jmp .again
1004	BS3_PROC_END_CMN bs3CpuBasic2_call_ind_xAX_opsize__ud2
1005
1006
1007	;
1008	; Mark the end of the opsize jmp section.
1009	;
1010	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_jmp_opsize_end), , 1
1011	int3
1012	TMPL_BEGIN_TEXT
1013
1014
1015	;*********************************************************************************************************************************
1016	;* FAR JMP ABS *
1017	;*********************************************************************************************************************************
1018
1019	;
1020	; Mark the start of the opsize far jmp/call section.
1021	;
1022	; Here we also need to keep the 16-bit code out of the IVT and BIOS data area,
1023	; not just the 32-bit and 64-bit code like for the above opsize cases.
1024	;
1025	BS3_BEGIN_TEXT16 TMPL_BITS
1026	%assign here $-$$
1027	%if here < 0x600
1028	times (0x600 - here) int3
1029	%endif
1030	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_far_jmp_call_opsize_begin), , 1
1031	int3
1032	TMPL_BEGIN_TEXT
1033
1034	%if TMPL_BITS == 16
1035	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_rm__ud2
1036	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_rm__ud2, BS3_PBC_NEAR
1037	db 0eah
1038	dw .again wrt CGROUP16
1039	dw BS3_SEL_TEXT16
1040	.post_jmp:
1041	times 2 int3
1042	.again: ud2
1043	int3
1044	jmp .again
1045	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_rm__ud2
1046	%endif
1047
1048	%if TMPL_BITS != 64
1049
1050	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_same_r0__ud2
1051	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_same_r0__ud2, BS3_PBC_NEAR
1052	db 0eah
1053	%if TMPL_BITS == 16
1054	dw .again wrt CGROUP16
1055	dw BS3_SEL_R0_CS16
1056	%else
1057	dd .again wrt FLAT
1058	dw BS3_SEL_R0_CS32
1059	%endif
1060	.post_jmp:
1061	times 7 int3
1062	.again: ud2
1063	int3
1064	jmp .again
1065	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_same_r0__ud2
1066
1067	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_same_r1__ud2
1068	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_same_r1__ud2, BS3_PBC_NEAR
1069	db 0eah ; inter privilege jmp -> #GP(dst-cs)
1070	%if TMPL_BITS == 16
1071	dw .again wrt CGROUP16
1072	dw BS3_SEL_R1_CS16 \| 1
1073	%else
1074	dd .again wrt FLAT
1075	dw BS3_SEL_R1_CS32 \| 1
1076	%endif
1077	.again: ud2
1078	jmp .again
1079	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_same_r1__ud2
1080
1081	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_same_r2__ud2
1082	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_same_r2__ud2, BS3_PBC_NEAR
1083	db 0eah ; inter privilege jmp -> #GP(dst-cs)
1084	%if TMPL_BITS == 16
1085	dw .again wrt CGROUP16
1086	dw BS3_SEL_R2_CS16 \| 2
1087	%else
1088	dd .again wrt FLAT
1089	dw BS3_SEL_R2_CS32 \| 2
1090	%endif
1091	.again: ud2
1092	jmp .again
1093	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_same_r2__ud2
1094
1095	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_same_r3__ud2
1096	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_same_r3__ud2, BS3_PBC_NEAR
1097	db 0eah ; inter privilege jmp -> #GP(dst-cs)
1098	%if TMPL_BITS == 16
1099	dw .again wrt CGROUP16
1100	dw BS3_SEL_R3_CS16 \| 3
1101	%else
1102	dd .again wrt FLAT
1103	dw BS3_SEL_R3_CS32 \| 3
1104	%endif
1105	.again: ud2
1106	jmp .again
1107	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_same_r3__ud2
1108
1109	BS3_BEGIN_TEXT16 TMPL_BITS
1110	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_opsize_flipbit_r0__ud2
1111	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_opsize_flipbit_r0__ud2, BS3_PBC_NEAR
1112	db 066h, 0eah
1113	%if TMPL_BITS == 32
1114	dw .again wrt CGROUP16
1115	dw BS3_SEL_R0_CS16
1116	%else
1117	dd .again wrt FLAT
1118	dw BS3_SEL_R0_CS32
1119	%endif
1120	times 4 int3
1121	.again: ud2
1122	jmp .again
1123	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_opsize_flipbit_r0__ud2
1124	TMPL_BEGIN_TEXT
1125
1126	; Do a jmp to BS3_SEL_R0_CS64. Except for when we're in long mode, this will
1127	; result in a 16-bit CS with zero base and 4G limit.
1128	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_r0_cs64__ud2
1129	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_r0_cs64__ud2, BS3_PBC_NEAR
1130	%if TMPL_BITS == 16
1131	db 066h
1132	%endif
1133	db 0eah
1134	dd .jmp_target wrt FLAT
1135	dw BS3_SEL_R0_CS64
1136	times 8 int3
1137	.jmp_target:
1138	salc ; #UD in 64-bit mode
1139	.again: ud2
1140	jmp .again
1141	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_r0_cs64__ud2
1142
1143	BS3_BEGIN_TEXT16 TMPL_BITS
1144	; Variation of the previous with a CS16 copy that has the L bit set, emulating
1145	; pre-AMD64 software using the L bit for other stuff. (Don't run in long mode
1146	; w/o copying the 3 bytes to the 0xxxxh memory range.)
1147	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_ptr_r0_cs16l__ud2
1148	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_ptr_r0_cs16l__ud2, BS3_PBC_NEAR
1149	%if TMPL_BITS != 16
1150	db 066h
1151	%endif
1152	db 0eah
1153	dw .jmp_target wrt CGROUP16
1154	dw BS3_SEL_SPARE_00 ; ASSUMES this is set up as CGROUP16 but with L=1.
1155	times 3 int3
1156	.jmp_target:
1157	salc ; #UD in 64-bit mode
1158	.again: ud2
1159	jmp .again
1160	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_ptr_r0_cs16l__ud2
1161	TMPL_BEGIN_TEXT
1162
1163	%endif ; TMPL_BITS != 64
1164
1165
1166
1167	;*********************************************************************************************************************************
1168	;* FAR CALL ABS *
1169	;*********************************************************************************************************************************
1170
1171	%if TMPL_BITS == 16
1172	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_rm__ud2
1173	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_rm__ud2, BS3_PBC_NEAR
1174	db 09ah
1175	dw .again wrt CGROUP16
1176	dw BS3_SEL_TEXT16
1177	.post_call:
1178	times 2 int3
1179	.again: ud2
1180	int3
1181	jmp .again
1182	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_rm__ud2
1183	%endif
1184
1185	%if TMPL_BITS != 64
1186
1187	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_same_r0__ud2
1188	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_same_r0__ud2, BS3_PBC_NEAR
1189	db 09ah
1190	%if TMPL_BITS == 16
1191	dw .again wrt CGROUP16
1192	dw BS3_SEL_R0_CS16
1193	%else
1194	dd .again wrt FLAT
1195	dw BS3_SEL_R0_CS32
1196	%endif
1197	.post_call:
1198	times 7 int3
1199	.again: ud2
1200	int3
1201	jmp .again
1202	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_same_r0__ud2
1203
1204	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_same_r1__ud2
1205	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_same_r1__ud2, BS3_PBC_NEAR
1206	db 09ah
1207	%if TMPL_BITS == 16
1208	dw .again wrt CGROUP16
1209	dw BS3_SEL_R1_CS16 \| 1
1210	%else
1211	dd .again wrt FLAT
1212	dw BS3_SEL_R1_CS32 \| 1
1213	%endif
1214	.again: ud2
1215	jmp .again
1216	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_same_r1__ud2
1217
1218	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_same_r2__ud2
1219	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_same_r2__ud2, BS3_PBC_NEAR
1220	db 09ah
1221	%if TMPL_BITS == 16
1222	dw .again wrt CGROUP16
1223	dw BS3_SEL_R2_CS16 \| 2
1224	%else
1225	dd .again wrt FLAT
1226	dw BS3_SEL_R2_CS32 \| 2
1227	%endif
1228	.again: ud2
1229	jmp .again
1230	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_same_r2__ud2
1231
1232	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_same_r3__ud2
1233	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_same_r3__ud2, BS3_PBC_NEAR
1234	db 09ah
1235	%if TMPL_BITS == 16
1236	dw .again wrt CGROUP16
1237	dw BS3_SEL_R3_CS16 \| 3
1238	%else
1239	dd .again wrt FLAT
1240	dw BS3_SEL_R3_CS32 \| 3
1241	%endif
1242	.again: ud2
1243	jmp .again
1244	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_same_r3__ud2
1245
1246	BS3_BEGIN_TEXT16 TMPL_BITS
1247	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_opsize_flipbit_r0__ud2
1248	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_opsize_flipbit_r0__ud2, BS3_PBC_NEAR
1249	db 066h, 09ah
1250	%if TMPL_BITS == 32
1251	dw .again wrt CGROUP16
1252	dw BS3_SEL_R0_CS16
1253	%else
1254	dd .again wrt FLAT
1255	dw BS3_SEL_R0_CS32
1256	%endif
1257	times 4 int3
1258	.again: ud2
1259	jmp .again
1260	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_opsize_flipbit_r0__ud2
1261	TMPL_BEGIN_TEXT
1262
1263	; Do a call to BS3_SEL_R0_CS64. Except for when we're in long mode, this will
1264	; result in a 16-bit CS with zero base and 4G limit.
1265	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_r0_cs64__ud2
1266	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_r0_cs64__ud2, BS3_PBC_NEAR
1267	%if TMPL_BITS == 16
1268	db 066h
1269	%endif
1270	db 09ah
1271	dd .call_target wrt FLAT
1272	dw BS3_SEL_R0_CS64
1273	times 8 int3
1274	.call_target:
1275	salc ; #UD in 64-bit mode
1276	.again: ud2
1277	jmp .again
1278	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_r0_cs64__ud2
1279
1280	BS3_BEGIN_TEXT16 TMPL_BITS
1281	; Variation of the previous with a CS16 copy that has the L bit set, emulating
1282	; pre-AMD64 software using the L bit for other stuff. (Don't run in long mode
1283	; w/o copying the 3 bytes to the 0xxxxh memory range.)
1284	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_ptr_r0_cs16l__ud2
1285	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_ptr_r0_cs16l__ud2, BS3_PBC_NEAR
1286	%if TMPL_BITS != 16
1287	db 066h
1288	%endif
1289	db 09ah
1290	dw .call_target wrt CGROUP16
1291	dw BS3_SEL_SPARE_00 ; ASSUMES this is set up as CGROUP16 but with L=1.
1292	times 3 int3
1293	.call_target:
1294	salc ; #UD in 64-bit mode
1295	.again: ud2
1296	jmp .again
1297	BS3_PROC_END_CMN bs3CpuBasic2_callf_ptr_r0_cs16l__ud2
1298	TMPL_BEGIN_TEXT
1299
1300	%endif ; TMPL_BITS != 64
1301
1302
1303	;*********************************************************************************************************************************
1304	;* INDIRECT FAR JMP *
1305	;*********************************************************************************************************************************
1306
1307	%if TMPL_BITS == 16
1308	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_rm__ud2
1309	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_rm__ud2, BS3_PBC_NEAR
1310	jmp far [BS3_CPUBAS2_REF_LABEL_VIA_CS(.fpfn)]
1311	int3
1312	.fpfn:
1313	dw .again wrt CGROUP16
1314	dw BS3_SEL_TEXT16
1315	.post_jmp:
1316	times 2 int3
1317	.again: ud2
1318	int3
1319	jmp .again
1320	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_rm__ud2
1321	%endif
1322
1323	;;
1324	; Since AMD and Intel treat REX.W differently, we need two versions of the
1325	; test functions here and use a macro to accomplish that.
1326	;
1327	; @param 1 Symbol suffix
1328	; @param 2 0 for AMD, 1 for Intel.
1329	;
1330	%ifnmacro jmpf_macro
1331	%macro jmpf_macro 2
1332
1333	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_same_r0__ud2 %+ %1
1334	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_same_r0__ud2 %+ %1, BS3_PBC_NEAR
1335	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, 2
1336	.fpfn:
1337	%if TMPL_BITS == 16
1338	dw .again wrt CGROUP16
1339	dw BS3_SEL_R0_CS16
1340	%elif TMPL_BITS == 32
1341	dd .again wrt FLAT
1342	dw BS3_SEL_R0_CS32
1343	%else
1344	dd .again wrt FLAT
1345	%if %2 != 0
1346	dd 0fffff000h
1347	%endif
1348	dw BS3_SEL_R0_CS64
1349	%endif
1350	.post_jmp:
1351	times 7 int3
1352	.again: ud2
1353	int3
1354	jmp .again
1355	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_same_r0__ud2 %+ %1
1356
1357	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_same_r1__ud2 %+ %1
1358	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_same_r1__ud2 %+ %1, BS3_PBC_NEAR
1359	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, 2
1360	.fpfn:
1361	%if TMPL_BITS == 16
1362	dw .again wrt CGROUP16
1363	dw BS3_SEL_R1_CS16 \| 1
1364	%elif TMPL_BITS == 32
1365	dd .again wrt FLAT
1366	dw BS3_SEL_R1_CS32 \| 1
1367	%else
1368	dd .again wrt FLAT
1369	%if %2 != 0
1370	dd 0fffff000h
1371	%endif
1372	dw BS3_SEL_R1_CS64 \| 1
1373	%endif
1374	.again: ud2
1375	jmp .again
1376	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_same_r1__ud2 %+ %1
1377
1378	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_same_r2__ud2 %+ %1
1379	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_same_r2__ud2 %+ %1, BS3_PBC_NEAR
1380	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, 0
1381	.fpfn:
1382	%if TMPL_BITS == 16
1383	dw .again wrt CGROUP16
1384	dw BS3_SEL_R2_CS16 \| 2
1385	%elif TMPL_BITS == 32
1386	dd .again wrt FLAT
1387	dw BS3_SEL_R2_CS32 \| 2
1388	%else
1389	dd .again wrt FLAT
1390	dw BS3_SEL_R2_CS64 \| 2
1391	%endif
1392	.again: ud2
1393	jmp .again
1394	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_same_r2__ud2 %+ %1
1395
1396	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_same_r3__ud2 %+ %1
1397	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_same_r3__ud2 %+ %1, BS3_PBC_NEAR
1398	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, 2
1399	.fpfn:
1400	%if TMPL_BITS == 16
1401	dw .again wrt CGROUP16
1402	dw BS3_SEL_R3_CS16 \| 3
1403	%elif TMPL_BITS == 32
1404	dd .again wrt FLAT
1405	dw BS3_SEL_R3_CS32 \| 3
1406	%else
1407	dd .again wrt FLAT
1408	%if %2 != 0
1409	dd 0fffff000h
1410	%endif
1411	dw BS3_SEL_R3_CS64 \| 3
1412	%endif
1413	.again: ud2
1414	jmp .again
1415	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_same_r3__ud2 %+ %1
1416
1417	BS3_BEGIN_TEXT16 TMPL_BITS
1418	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_r0_cs16__ud2 %+ %1
1419	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_r0_cs16__ud2 %+ %1, BS3_PBC_NEAR
1420	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, (TMPL_BITS != 16) ; TMPL_BITS != 16 ? 1 : 0
1421	.fpfn:
1422	dw .again wrt CGROUP16
1423	dw BS3_SEL_R0_CS16
1424	times 4 int3
1425	.again: ud2
1426	jmp .again
1427	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_r0_cs16__ud2 %+ %1
1428	TMPL_BEGIN_TEXT
1429
1430	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_r0_cs32__ud2 %+ %1
1431	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_r0_cs32__ud2 %+ %1, BS3_PBC_NEAR
1432	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, (TMPL_BITS == 16) ; TMPL_BITS == 16 ? 1 : 0
1433	.fpfn:
1434	dd .again wrt FLAT
1435	dw BS3_SEL_R0_CS32
1436	times 4 int3
1437	.again: ud2
1438	jmp .again
1439	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_r0_cs32__ud2 %+ %1
1440
1441	; Do a jmp to BS3_SEL_R0_CS64. Except for when we're in long mode, this will
1442	; result in a 16-bit CS with zero base and 4G limit.
1443	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_r0_cs64__ud2 %+ %1
1444	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_r0_cs64__ud2 %+ %1, BS3_PBC_NEAR
1445	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, (2 - (TMPL_BITS == 16)) ; TMPL_BITS == 16 ? 1 : 2
1446	.fpfn:
1447	dd .jmp_target wrt FLAT
1448	%if TMPL_BITS == 64 && %2 != 0
1449	dd 0fffff000h
1450	%endif
1451	dw BS3_SEL_R0_CS64
1452	times 8 int3
1453	.jmp_target:
1454	%if TMPL_BITS != 64
1455	salc ; #UD in 64-bit mode
1456	%endif
1457	.again: ud2
1458	jmp .again
1459	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_r0_cs64__ud2 %+ %1
1460
1461	BS3_BEGIN_TEXT16 TMPL_BITS
1462	; Variation of the previous with a CS16 copy that has the L bit set, emulating
1463	; pre-AMD64 software using the L bit for other stuff. (Don't run _c16/32 in
1464	; long mode w/o copying the 3 bytes to the 0xxxxh memory range.)
1465	; The _c64 version will test that the base is ignored.
1466	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_jmpf_mem_r0_cs16l__ud2 %+ %1
1467	BS3_PROC_BEGIN_CMN bs3CpuBasic2_jmpf_mem_r0_cs16l__ud2 %+ %1, BS3_PBC_NEAR
1468	BS3_CPUBAS2_JMP_FAR_MEM_LABEL .fpfn, (TMPL_BITS == 32) ; TMPL_BITS == 32 ? 1 : 0
1469	.fpfn:
1470	%if TMPL_BITS != 64
1471	dw .jmp_target wrt CGROUP16
1472	%else
1473	dd .jmp_target wrt FLAT
1474	%endif
1475	dw BS3_SEL_SPARE_00 ; ASSUMES this is set up as CGROUP16 but with L=1.
1476	times 3 int3
1477	.jmp_target:
1478	%if TMPL_BITS != 64
1479	salc ; #UD in 64-bit mode
1480	%endif
1481	.again: ud2
1482	jmp .again
1483	BS3_PROC_END_CMN bs3CpuBasic2_jmpf_mem_r0_cs16l__ud2 %+ %1
1484	TMPL_BEGIN_TEXT
1485
1486	%endmacro
1487	%endif
1488
1489	; Instantiate the above code
1490	jmpf_macro , 0
1491	%if TMPL_BITS == 64
1492	jmpf_macro _intel, 1
1493	%endif
1494
1495
1496	;*********************************************************************************************************************************
1497	;* INDIRECT FAR CALL *
1498	;*********************************************************************************************************************************
1499
1500	%if TMPL_BITS == 16
1501	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_rm__ud2
1502	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_rm__ud2, BS3_PBC_NEAR
1503	call far [BS3_CPUBAS2_REF_LABEL_VIA_CS(.fpfn)]
1504	int3
1505	.fpfn:
1506	dw .again wrt CGROUP16
1507	dw BS3_SEL_TEXT16
1508	.post_jmp:
1509	times 2 int3
1510	.again: ud2
1511	int3
1512	jmp .again
1513	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_rm__ud2
1514	%endif
1515
1516
1517	;;
1518	; Since AMD and Intel treat REX.W differently, we need two versions of the
1519	; test functions here and use a macro to accomplish that.
1520	;
1521	; @param 1 Symbol suffix
1522	; @param 2 0 for AMD, 1 for Intel.
1523	;
1524	%ifnmacro callf_macro
1525	%macro callf_macro 2
1526
1527	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_same_r0__ud2 %+ %1
1528	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_same_r0__ud2 %+ %1, BS3_PBC_NEAR
1529	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, 2
1530	.fpfn:
1531	%if TMPL_BITS == 16
1532	dw .again wrt CGROUP16
1533	dw BS3_SEL_R0_CS16
1534	%elif TMPL_BITS == 32
1535	dd .again wrt FLAT
1536	dw BS3_SEL_R0_CS32
1537	%else
1538	dd .again wrt FLAT
1539	%if %2 != 0
1540	dd 0fffff000h
1541	%endif
1542	dw BS3_SEL_R0_CS64
1543	%endif
1544	.post_call:
1545	times 7 int3
1546	.again: ud2
1547	int3
1548	jmp .again
1549	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_same_r0__ud2 %+ %1
1550
1551	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_same_r1__ud2 %+ %1
1552	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_same_r1__ud2 %+ %1, BS3_PBC_NEAR
1553	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, 2
1554	.fpfn:
1555	%if TMPL_BITS == 16
1556	dw .again wrt CGROUP16
1557	dw BS3_SEL_R1_CS16 \| 1
1558	%elif TMPL_BITS == 32
1559	dd .again wrt FLAT
1560	dw BS3_SEL_R1_CS32 \| 1
1561	%else
1562	dd .again wrt FLAT
1563	%if %2 != 0
1564	dd 0fffff000h
1565	%endif
1566	dw BS3_SEL_R1_CS64 \| 1
1567	%endif
1568	.again: ud2
1569	jmp .again
1570	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_same_r1__ud2 %+ %1
1571
1572	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_same_r2__ud2 %+ %1
1573	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_same_r2__ud2 %+ %1, BS3_PBC_NEAR
1574	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, 0
1575	.fpfn:
1576	%if TMPL_BITS == 16
1577	dw .again wrt CGROUP16
1578	dw BS3_SEL_R2_CS16 \| 2
1579	%elif TMPL_BITS == 32
1580	dd .again wrt FLAT
1581	dw BS3_SEL_R2_CS32 \| 2
1582	%else
1583	dd .again wrt FLAT
1584	dw BS3_SEL_R2_CS64 \| 2
1585	%endif
1586	.again: ud2
1587	jmp .again
1588	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_same_r2__ud2 %+ %1
1589
1590	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_same_r3__ud2 %+ %1
1591	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_same_r3__ud2 %+ %1, BS3_PBC_NEAR
1592	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, 2
1593	.fpfn:
1594	%if TMPL_BITS == 16
1595	dw .again wrt CGROUP16
1596	dw BS3_SEL_R3_CS16 \| 3
1597	%elif TMPL_BITS == 32
1598	dd .again wrt FLAT
1599	dw BS3_SEL_R3_CS32 \| 3
1600	%else
1601	dd .again wrt FLAT
1602	%if %2 != 0
1603	dd 0fffff000h
1604	%endif
1605	dw BS3_SEL_R3_CS64 \| 3
1606	%endif
1607	.again: ud2
1608	jmp .again
1609	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_same_r3__ud2 %+ %1
1610
1611	BS3_BEGIN_TEXT16 TMPL_BITS
1612	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_r0_cs16__ud2 %+ %1
1613	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_r0_cs16__ud2 %+ %1, BS3_PBC_NEAR
1614	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, (TMPL_BITS != 16) ; (TMPL_BITS == 16 ? 0 : 1)
1615	.fpfn:
1616	dw .again wrt CGROUP16
1617	dw BS3_SEL_R0_CS16
1618	times 4 int3
1619	.again: ud2
1620	jmp .again
1621	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_r0_cs16__ud2 %+ %1
1622	TMPL_BEGIN_TEXT
1623
1624	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_r0_cs32__ud2 %+ %1
1625	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_r0_cs32__ud2 %+ %1, BS3_PBC_NEAR
1626	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, (TMPL_BITS == 16) ; (TMPL_BITS == 16 ? 1 : 0)
1627	.fpfn:
1628	dd .again wrt FLAT
1629	dw BS3_SEL_R0_CS32
1630	times 4 int3
1631	.again: ud2
1632	jmp .again
1633	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_r0_cs32__ud2 %+ %1
1634
1635	; Do a call to BS3_SEL_R0_CS64. Except for when we're in long mode, this will
1636	; result in a 16-bit CS with zero base and 4G limit.
1637	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_r0_cs64__ud2 %+ %1
1638	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_r0_cs64__ud2 %+ %1, BS3_PBC_NEAR
1639	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, (2 - (TMPL_BITS == 16)) ; (TMPL_BITS == 16 ? 1 : 2)
1640	.fpfn:
1641	dd .call_target wrt FLAT
1642	%if TMPL_BITS == 64 && %2 != 0
1643	dd 0fffff000h
1644	%endif
1645	dw BS3_SEL_R0_CS64
1646	times 8 int3
1647	.call_target:
1648	%if TMPL_BITS != 64
1649	salc ; #UD in 64-bit mode
1650	%endif
1651	.again: ud2
1652	jmp .again
1653	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_r0_cs64__ud2 %+ %1
1654
1655	BS3_BEGIN_TEXT16 TMPL_BITS
1656	; Variation of the previous with a CS16 copy that has the L bit set, emulating
1657	; pre-AMD64 software using the L bit for other stuff. (Don't run _c16/32 in
1658	; long mode w/o copying the 3 bytes to the 0xxxxh memory range.)
1659	; The _c64 version will test that the base is ignored.
1660	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_callf_mem_r0_cs16l__ud2 %+ %1
1661	BS3_PROC_BEGIN_CMN bs3CpuBasic2_callf_mem_r0_cs16l__ud2 %+ %1, BS3_PBC_NEAR
1662	BS3_CPUBAS2_CALL_FAR_MEM_LABEL .fpfn, (TMPL_BITS == 32) ; (TMPL_BITS == 32 ? 1 : 0)
1663	.fpfn:
1664	%if TMPL_BITS != 64
1665	dw .call_target wrt CGROUP16
1666	%else
1667	dd .call_target wrt FLAT
1668	%endif
1669	dw BS3_SEL_SPARE_00 ; ASSUMES this is set up as CGROUP16 but with L=1.
1670	times 3 int3
1671	.call_target:
1672	%if TMPL_BITS != 64
1673	salc ; #UD in 64-bit mode
1674	%endif
1675	.again: ud2
1676	jmp .again
1677	BS3_PROC_END_CMN bs3CpuBasic2_callf_mem_r0_cs16l__ud2 %+ %1
1678	TMPL_BEGIN_TEXT
1679
1680	%endmacro ; callf_macro
1681	%endif
1682
1683	; Instantiate the above code
1684	callf_macro , 0
1685	%if TMPL_BITS == 64
1686	callf_macro _intel, 1
1687	%endif
1688
1689	;
1690	; Mark the end of the opsize far jmp/call section.
1691	;
1692	BS3_BEGIN_TEXT16 TMPL_BITS
1693	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_far_jmp_call_opsize_end), , 1
1694	int3
1695	TMPL_BEGIN_TEXT
1696
1697
1698	;*********************************************************************************************************************************
1699	;* Near RET *
1700	;*********************************************************************************************************************************
1701	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn__ud2
1702	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn__ud2, BS3_PBC_NEAR
1703	ret
1704	.again: ud2
1705	jmp .again
1706	BS3_PROC_END_CMN bs3CpuBasic2_retn__ud2
1707
1708	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i24__ud2
1709	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i24__ud2, BS3_PBC_NEAR
1710	ret 24
1711	.again: ud2
1712	jmp .again
1713	AssertCompile(.again - BS3_LAST_LABEL == 3)
1714	BS3_PROC_END_CMN bs3CpuBasic2_retn_i24__ud2
1715
1716	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i0__ud2
1717	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i0__ud2, BS3_PBC_NEAR
1718	ret 0
1719	.again: ud2
1720	jmp .again
1721	AssertCompile(.again - BS3_LAST_LABEL == 3)
1722	BS3_PROC_END_CMN bs3CpuBasic2_retn_i0__ud2
1723
1724	%if TMPL_BITS == 64
1725
1726	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_rexw__ud2
1727	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_rexw__ud2, BS3_PBC_NEAR
1728	db 048h ; REX.W
1729	ret
1730	.again: ud2
1731	jmp .again
1732	BS3_PROC_END_CMN bs3CpuBasic2_retn_rexw__ud2
1733
1734	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i24_rexw__ud2
1735	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i24_rexw__ud2, BS3_PBC_NEAR
1736	db 048h ; REX.W
1737	ret 24
1738	.again: ud2
1739	jmp .again
1740	AssertCompile(.again - BS3_LAST_LABEL == 4)
1741	BS3_PROC_END_CMN bs3CpuBasic2_retn_i24_rexw__ud2
1742
1743	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_opsize_rexw__ud2
1744	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_opsize_rexw__ud2, BS3_PBC_NEAR
1745	db 66h, 048h
1746	ret
1747	.again: ud2
1748	jmp .again
1749	BS3_PROC_END_CMN bs3CpuBasic2_retn_opsize_rexw__ud2
1750
1751	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i24_opsize_rexw__ud2
1752	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i24_opsize_rexw__ud2, BS3_PBC_NEAR
1753	db 66h, 048h
1754	ret 24
1755	.again: ud2
1756	jmp .again
1757	AssertCompile(.again - BS3_LAST_LABEL == 5)
1758	BS3_PROC_END_CMN bs3CpuBasic2_retn_i24_opsize_rexw__ud2
1759
1760	%endif
1761
1762	; Mark the start of opsize tests as we end up below 64K in 32-bit and 64-bit when used.
1763	BS3_BEGIN_TEXT16 TMPL_BITS
1764	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_retn_opsize_begin), , 1
1765	int3
1766
1767	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_opsize__ud2
1768	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_opsize__ud2, BS3_PBC_NEAR
1769	db 66h
1770	ret
1771	.again: ud2
1772	jmp .again
1773	BS3_PROC_END_CMN bs3CpuBasic2_retn_opsize__ud2
1774
1775	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i24_opsize__ud2
1776	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i24_opsize__ud2, BS3_PBC_NEAR
1777	db 66h
1778	ret 24
1779	.again: ud2
1780	jmp .again
1781	AssertCompile(.again - BS3_LAST_LABEL == 4)
1782	BS3_PROC_END_CMN bs3CpuBasic2_retn_i24_opsize__ud2
1783
1784	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i0_opsize__ud2
1785	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i0_opsize__ud2, BS3_PBC_NEAR
1786	db 66h
1787	ret 0
1788	.again: ud2
1789	jmp .again
1790	AssertCompile(.again - BS3_LAST_LABEL == 4)
1791	BS3_PROC_END_CMN bs3CpuBasic2_retn_i0_opsize__ud2
1792
1793	%if TMPL_BITS == 64
1794	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_rexw_opsize__ud2
1795	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_rexw_opsize__ud2, BS3_PBC_NEAR
1796	db 048h, 66h
1797	ret
1798	.again: ud2
1799	jmp .again
1800	BS3_PROC_END_CMN bs3CpuBasic2_retn_rexw_opsize__ud2
1801
1802	BS3_CPUBAS2_UD_OFF bs3CpuBasic2_retn_i24_rexw_opsize__ud2
1803	BS3_PROC_BEGIN_CMN bs3CpuBasic2_retn_i24_rexw_opsize__ud2, BS3_PBC_NEAR
1804	db 048h, 66h
1805	ret 24
1806	.again: ud2
1807	jmp .again
1808	AssertCompile(.again - BS3_LAST_LABEL == 5)
1809	BS3_PROC_END_CMN bs3CpuBasic2_retn_i24_rexw_opsize__ud2
1810	%endif
1811
1812	; End of opsize tests.
1813	BS3_GLOBAL_NAME_EX BS3_CMN_NM(bs3CpuBasic2_retn_opsize_end), , 1
1814	int3
1815	TMPL_BEGIN_TEXT
1816
1817	%endif ; BS3_INSTANTIATING_CMN
1818
1819	%include "bs3kit-template-footer.mac" ; reset environment
1820

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format