1 /*
2 * This file and its contents are supplied under the terms of the
3 * Common Development and Distribution License ("CDDL"), version 1.0.
4 * You may only use this file in accordance with the terms of version
5 * 1.0 of the CDDL.
6 *
7 * A full copy of the text of the CDDL should have accompanied this
8 * source. A copy of the CDDL is also available via the Internet at
9 * http://www.illumos.org/license/CDDL.
10 */
11
12 /*
13 * Copyright 2023 Oxide Computer Company
14 */
15
16 #include "payload_common.h"
17 #include "payload_utils.h"
18
19 void
start(uint_t vcpuid)20 start(uint_t vcpuid)
21 {
22 if (vcpuid == 0) {
23 while (1) {
24 /* spin, waiting for other vCPU to triple-fault */
25 }
26 } else {
27 /* Since no IDT is configured, ud2a should incur triple-fault */
28 ud2a();
29 }
30 }
31