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 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