xref: /freebsd/usr.sbin/bhyve/acpi.c (revision 86390f9444433b00296741d03d069a587ad8e4bf)
1 /*-
2  * Copyright (c) 2012 NetApp, Inc.
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17  * ARE DISCLAIMED.  IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24  * SUCH DAMAGE.
25  *
26  * $FreeBSD$
27  */
28 
29 /*
30  * bhyve ACPI table generator.
31  *
32  * Create the minimal set of ACPI tables required to boot FreeBSD (and
33  * hopefully other o/s's) by writing out ASL template files for each of
34  * the tables and the compiling them to AML with the Intel iasl compiler.
35  * The AML files are then read into guest memory.
36  *
37  *  The tables are placed in the guest's ROM area just below 1MB physical,
38  * above the MPTable.
39  *
40  *  Layout
41  *  ------
42  *   RSDP  ->   0xf0400    (36 bytes fixed)
43  *     RSDT  ->   0xf0440    (36 bytes + 4*N table addrs, 2 used)
44  *     XSDT  ->   0xf0480    (36 bytes + 8*N table addrs, 2 used)
45  *       MADT  ->   0xf0500  (depends on #CPUs)
46  *       FADT  ->   0xf0600  (268 bytes)
47  *       HPET  ->   0xf0740  (56 bytes)
48  *         FACS  ->   0xf0780 (64 bytes)
49  *         DSDT  ->   0xf0800 (variable - can go up to 0x100000)
50  */
51 
52 #include <sys/cdefs.h>
53 __FBSDID("$FreeBSD$");
54 
55 #include <sys/param.h>
56 #include <sys/errno.h>
57 #include <sys/stat.h>
58 
59 #include <paths.h>
60 #include <stdio.h>
61 #include <stdlib.h>
62 #include <string.h>
63 #include <unistd.h>
64 
65 #include <machine/vmm.h>
66 #include <vmmapi.h>
67 
68 #include "bhyverun.h"
69 #include "acpi.h"
70 
71 /*
72  * Define the base address of the ACPI tables, and the offsets to
73  * the individual tables
74  */
75 #define BHYVE_ACPI_BASE		0xf0400
76 #define RSDT_OFFSET		0x040
77 #define XSDT_OFFSET		0x080
78 #define MADT_OFFSET		0x100
79 #define FADT_OFFSET		0x200
80 #define	HPET_OFFSET		0x340
81 #define FACS_OFFSET		0x380
82 #define DSDT_OFFSET		0x400
83 
84 #define	BHYVE_ASL_TEMPLATE	"bhyve.XXXXXXX"
85 #define BHYVE_ASL_SUFFIX	".aml"
86 #define BHYVE_ASL_COMPILER	"/usr/sbin/iasl"
87 
88 static int basl_keep_temps;
89 static int basl_verbose_iasl;
90 static int basl_ncpu;
91 static uint32_t basl_acpi_base = BHYVE_ACPI_BASE;
92 static uint32_t hpet_capabilities;
93 
94 /*
95  * Contains the full pathname of the template to be passed
96  * to mkstemp/mktemps(3)
97  */
98 static char basl_template[MAXPATHLEN];
99 static char basl_stemplate[MAXPATHLEN];
100 
101 struct basl_fio {
102 	int	fd;
103 	FILE	*fp;
104 	char	f_name[MAXPATHLEN];
105 };
106 
107 #define EFPRINTF(...) \
108 	err = fprintf(__VA_ARGS__); if (err < 0) goto err_exit;
109 
110 #define EFFLUSH(x) \
111 	err = fflush(x); if (err != 0) goto err_exit;
112 
113 static int
114 basl_fwrite_rsdp(FILE *fp)
115 {
116 	int err;
117 
118 	err = 0;
119 
120 	EFPRINTF(fp, "/*\n");
121 	EFPRINTF(fp, " * bhyve RSDP template\n");
122 	EFPRINTF(fp, " */\n");
123 	EFPRINTF(fp, "[0008]\t\tSignature : \"RSD PTR \"\n");
124 	EFPRINTF(fp, "[0001]\t\tChecksum : 43\n");
125 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
126 	EFPRINTF(fp, "[0001]\t\tRevision : 02\n");
127 	EFPRINTF(fp, "[0004]\t\tRSDT Address : %08X\n",
128 	    basl_acpi_base + RSDT_OFFSET);
129 	EFPRINTF(fp, "[0004]\t\tLength : 00000024\n");
130 	EFPRINTF(fp, "[0008]\t\tXSDT Address : 00000000%08X\n",
131 	    basl_acpi_base + XSDT_OFFSET);
132 	EFPRINTF(fp, "[0001]\t\tExtended Checksum : 00\n");
133 	EFPRINTF(fp, "[0003]\t\tReserved : 000000\n");
134 
135 	EFFLUSH(fp);
136 
137 	return (0);
138 
139 err_exit:
140 	return (errno);
141 }
142 
143 static int
144 basl_fwrite_rsdt(FILE *fp)
145 {
146 	int err;
147 
148 	err = 0;
149 
150 	EFPRINTF(fp, "/*\n");
151 	EFPRINTF(fp, " * bhyve RSDT template\n");
152 	EFPRINTF(fp, " */\n");
153 	EFPRINTF(fp, "[0004]\t\tSignature : \"RSDT\"\n");
154 	EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
155 	EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
156 	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
157 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
158 	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVRSDT  \"\n");
159 	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
160 	/* iasl will fill in the compiler ID/revision fields */
161 	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
162 	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
163 	EFPRINTF(fp, "\n");
164 
165 	/* Add in pointers to the MADT, FADT and HPET */
166 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 0 : %08X\n",
167 	    basl_acpi_base + MADT_OFFSET);
168 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 1 : %08X\n",
169 	    basl_acpi_base + FADT_OFFSET);
170 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 2 : %08X\n",
171 	    basl_acpi_base + HPET_OFFSET);
172 
173 	EFFLUSH(fp);
174 
175 	return (0);
176 
177 err_exit:
178 	return (errno);
179 }
180 
181 static int
182 basl_fwrite_xsdt(FILE *fp)
183 {
184 	int err;
185 
186 	err = 0;
187 
188 	EFPRINTF(fp, "/*\n");
189 	EFPRINTF(fp, " * bhyve XSDT template\n");
190 	EFPRINTF(fp, " */\n");
191 	EFPRINTF(fp, "[0004]\t\tSignature : \"XSDT\"\n");
192 	EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
193 	EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
194 	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
195 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
196 	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVXSDT  \"\n");
197 	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
198 	/* iasl will fill in the compiler ID/revision fields */
199 	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
200 	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
201 	EFPRINTF(fp, "\n");
202 
203 	/* Add in pointers to the MADT, FADT and HPET */
204 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 0 : 00000000%08X\n",
205 	    basl_acpi_base + MADT_OFFSET);
206 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 1 : 00000000%08X\n",
207 	    basl_acpi_base + FADT_OFFSET);
208 	EFPRINTF(fp, "[0004]\t\tACPI Table Address 2 : 00000000%08X\n",
209 	    basl_acpi_base + HPET_OFFSET);
210 
211 	EFFLUSH(fp);
212 
213 	return (0);
214 
215 err_exit:
216 	return (errno);
217 }
218 
219 static int
220 basl_fwrite_madt(FILE *fp)
221 {
222 	int err;
223 	int i;
224 
225 	err = 0;
226 
227 	EFPRINTF(fp, "/*\n");
228 	EFPRINTF(fp, " * bhyve MADT template\n");
229 	EFPRINTF(fp, " */\n");
230 	EFPRINTF(fp, "[0004]\t\tSignature : \"APIC\"\n");
231 	EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
232 	EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
233 	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
234 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
235 	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVMADT  \"\n");
236 	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
237 
238 	/* iasl will fill in the compiler ID/revision fields */
239 	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
240 	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
241 	EFPRINTF(fp, "\n");
242 
243 	EFPRINTF(fp, "[0004]\t\tLocal Apic Address : FEE00000\n");
244 	EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
245 	EFPRINTF(fp, "\t\t\tPC-AT Compatibility : 1\n");
246 	EFPRINTF(fp, "\n");
247 
248 	/* Add a Processor Local APIC entry for each CPU */
249 	for (i = 0; i < basl_ncpu; i++) {
250 		EFPRINTF(fp, "[0001]\t\tSubtable Type : 00\n");
251 		EFPRINTF(fp, "[0001]\t\tLength : 08\n");
252 		/* iasl expects hex values for the proc and apic id's */
253 		EFPRINTF(fp, "[0001]\t\tProcessor ID : %02x\n", i);
254 		EFPRINTF(fp, "[0001]\t\tLocal Apic ID : %02x\n", i);
255 		EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
256 		EFPRINTF(fp, "\t\t\tProcessor Enabled : 1\n");
257 		EFPRINTF(fp, "\n");
258 	}
259 
260 	/* Always a single IOAPIC entry, with ID 0 */
261 	EFPRINTF(fp, "[0001]\t\tSubtable Type : 01\n");
262 	EFPRINTF(fp, "[0001]\t\tLength : 0C\n");
263 	/* iasl expects a hex value for the i/o apic id */
264 	EFPRINTF(fp, "[0001]\t\tI/O Apic ID : %02x\n", 0);
265 	EFPRINTF(fp, "[0001]\t\tReserved : 00\n");
266 	EFPRINTF(fp, "[0004]\t\tAddress : fec00000\n");
267 	EFPRINTF(fp, "[0004]\t\tInterrupt : 00000000\n");
268 	EFPRINTF(fp, "\n");
269 
270 	/* Legacy IRQ0 is connected to pin 2 of the IOAPIC */
271 	EFPRINTF(fp, "[0001]\t\tSubtable Type : 02\n");
272 	EFPRINTF(fp, "[0001]\t\tLength : 0A\n");
273 	EFPRINTF(fp, "[0001]\t\tBus : 00\n");
274 	EFPRINTF(fp, "[0001]\t\tSource : 00\n");
275 	EFPRINTF(fp, "[0004]\t\tInterrupt : 00000002\n");
276 	EFPRINTF(fp, "[0002]\t\tFlags (decoded below) : 0005\n");
277 	EFPRINTF(fp, "\t\t\tPolarity : 1\n");
278 	EFPRINTF(fp, "\t\t\tTrigger Mode : 1\n");
279 	EFPRINTF(fp, "\n");
280 
281 	EFPRINTF(fp, "[0001]\t\tSubtable Type : 02\n");
282 	EFPRINTF(fp, "[0001]\t\tLength : 0A\n");
283 	EFPRINTF(fp, "[0001]\t\tBus : 00\n");
284 	EFPRINTF(fp, "[0001]\t\tSource : %02X\n", SCI_INT);
285 	EFPRINTF(fp, "[0004]\t\tInterrupt : %08X\n", SCI_INT);
286 	EFPRINTF(fp, "[0002]\t\tFlags (decoded below) : 0000\n");
287 	EFPRINTF(fp, "\t\t\tPolarity : 3\n");
288 	EFPRINTF(fp, "\t\t\tTrigger Mode : 3\n");
289 	EFPRINTF(fp, "\n");
290 
291 	/* Local APIC NMI is connected to LINT 1 on all CPUs */
292 	EFPRINTF(fp, "[0001]\t\tSubtable Type : 04\n");
293 	EFPRINTF(fp, "[0001]\t\tLength : 06\n");
294 	EFPRINTF(fp, "[0001]\t\tProcessorId : FF\n");
295 	EFPRINTF(fp, "[0002]\t\tFlags (decoded below) : 0005\n");
296 	EFPRINTF(fp, "\t\t\tPolarity : 1\n");
297 	EFPRINTF(fp, "\t\t\tTrigger Mode : 1\n");
298 	EFPRINTF(fp, "[0001]\t\tInterrupt : 01\n");
299 	EFPRINTF(fp, "\n");
300 
301 	EFFLUSH(fp);
302 
303 	return (0);
304 
305 err_exit:
306 	return (errno);
307 }
308 
309 static int
310 basl_fwrite_fadt(FILE *fp)
311 {
312 	int err;
313 
314 	err = 0;
315 
316 	EFPRINTF(fp, "/*\n");
317 	EFPRINTF(fp, " * bhyve FADT template\n");
318 	EFPRINTF(fp, " */\n");
319 	EFPRINTF(fp, "[0004]\t\tSignature : \"FACP\"\n");
320 	EFPRINTF(fp, "[0004]\t\tTable Length : 0000010C\n");
321 	EFPRINTF(fp, "[0001]\t\tRevision : 05\n");
322 	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
323 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
324 	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVFACP  \"\n");
325 	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
326 	/* iasl will fill in the compiler ID/revision fields */
327 	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
328 	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
329 	EFPRINTF(fp, "\n");
330 
331 	EFPRINTF(fp, "[0004]\t\tFACS Address : %08X\n",
332 	    basl_acpi_base + FACS_OFFSET);
333 	EFPRINTF(fp, "[0004]\t\tDSDT Address : %08X\n",
334 	    basl_acpi_base + DSDT_OFFSET);
335 	EFPRINTF(fp, "[0001]\t\tModel : 01\n");
336 	EFPRINTF(fp, "[0001]\t\tPM Profile : 00 [Unspecified]\n");
337 	EFPRINTF(fp, "[0002]\t\tSCI Interrupt : %04X\n",
338 	    SCI_INT);
339 	EFPRINTF(fp, "[0004]\t\tSMI Command Port : %08X\n",
340 	    SMI_CMD);
341 	EFPRINTF(fp, "[0001]\t\tACPI Enable Value : %02X\n",
342 	    BHYVE_ACPI_ENABLE);
343 	EFPRINTF(fp, "[0001]\t\tACPI Disable Value : %02X\n",
344 	    BHYVE_ACPI_DISABLE);
345 	EFPRINTF(fp, "[0001]\t\tS4BIOS Command : 00\n");
346 	EFPRINTF(fp, "[0001]\t\tP-State Control : 00\n");
347 	EFPRINTF(fp, "[0004]\t\tPM1A Event Block Address : %08X\n",
348 	    PM1A_EVT_ADDR);
349 	EFPRINTF(fp, "[0004]\t\tPM1B Event Block Address : 00000000\n");
350 	EFPRINTF(fp, "[0004]\t\tPM1A Control Block Address : %08X\n",
351 	    PM1A_CNT_ADDR);
352 	EFPRINTF(fp, "[0004]\t\tPM1B Control Block Address : 00000000\n");
353 	EFPRINTF(fp, "[0004]\t\tPM2 Control Block Address : 00000000\n");
354 	EFPRINTF(fp, "[0004]\t\tPM Timer Block Address : %08X\n",
355 	    IO_PMTMR);
356 	EFPRINTF(fp, "[0004]\t\tGPE0 Block Address : 00000000\n");
357 	EFPRINTF(fp, "[0004]\t\tGPE1 Block Address : 00000000\n");
358 	EFPRINTF(fp, "[0001]\t\tPM1 Event Block Length : 04\n");
359 	EFPRINTF(fp, "[0001]\t\tPM1 Control Block Length : 02\n");
360 	EFPRINTF(fp, "[0001]\t\tPM2 Control Block Length : 00\n");
361 	EFPRINTF(fp, "[0001]\t\tPM Timer Block Length : 04\n");
362 	EFPRINTF(fp, "[0001]\t\tGPE0 Block Length : 00\n");
363 	EFPRINTF(fp, "[0001]\t\tGPE1 Block Length : 00\n");
364 	EFPRINTF(fp, "[0001]\t\tGPE1 Base Offset : 00\n");
365 	EFPRINTF(fp, "[0001]\t\t_CST Support : 00\n");
366 	EFPRINTF(fp, "[0002]\t\tC2 Latency : 0000\n");
367 	EFPRINTF(fp, "[0002]\t\tC3 Latency : 0000\n");
368 	EFPRINTF(fp, "[0002]\t\tCPU Cache Size : 0000\n");
369 	EFPRINTF(fp, "[0002]\t\tCache Flush Stride : 0000\n");
370 	EFPRINTF(fp, "[0001]\t\tDuty Cycle Offset : 00\n");
371 	EFPRINTF(fp, "[0001]\t\tDuty Cycle Width : 00\n");
372 	EFPRINTF(fp, "[0001]\t\tRTC Day Alarm Index : 00\n");
373 	EFPRINTF(fp, "[0001]\t\tRTC Month Alarm Index : 00\n");
374 	EFPRINTF(fp, "[0001]\t\tRTC Century Index : 00\n");
375 	EFPRINTF(fp, "[0002]\t\tBoot Flags (decoded below) : 0000\n");
376 	EFPRINTF(fp, "\t\t\tLegacy Devices Supported (V2) : 0\n");
377 	EFPRINTF(fp, "\t\t\t8042 Present on ports 60/64 (V2) : 0\n");
378 	EFPRINTF(fp, "\t\t\tVGA Not Present (V4) : 1\n");
379 	EFPRINTF(fp, "\t\t\tMSI Not Supported (V4) : 0\n");
380 	EFPRINTF(fp, "\t\t\tPCIe ASPM Not Supported (V4) : 1\n");
381 	EFPRINTF(fp, "\t\t\tCMOS RTC Not Present (V5) : 0\n");
382 	EFPRINTF(fp, "[0001]\t\tReserved : 00\n");
383 	EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000000\n");
384 	EFPRINTF(fp, "\t\t\tWBINVD instruction is operational (V1) : 1\n");
385 	EFPRINTF(fp, "\t\t\tWBINVD flushes all caches (V1) : 0\n");
386 	EFPRINTF(fp, "\t\t\tAll CPUs support C1 (V1) : 1\n");
387 	EFPRINTF(fp, "\t\t\tC2 works on MP system (V1) : 0\n");
388 	EFPRINTF(fp, "\t\t\tControl Method Power Button (V1) : 0\n");
389 	EFPRINTF(fp, "\t\t\tControl Method Sleep Button (V1) : 1\n");
390 	EFPRINTF(fp, "\t\t\tRTC wake not in fixed reg space (V1) : 0\n");
391 	EFPRINTF(fp, "\t\t\tRTC can wake system from S4 (V1) : 0\n");
392 	EFPRINTF(fp, "\t\t\t32-bit PM Timer (V1) : 1\n");
393 	EFPRINTF(fp, "\t\t\tDocking Supported (V1) : 0\n");
394 	EFPRINTF(fp, "\t\t\tReset Register Supported (V2) : 1\n");
395 	EFPRINTF(fp, "\t\t\tSealed Case (V3) : 0\n");
396 	EFPRINTF(fp, "\t\t\tHeadless - No Video (V3) : 1\n");
397 	EFPRINTF(fp, "\t\t\tUse native instr after SLP_TYPx (V3) : 0\n");
398 	EFPRINTF(fp, "\t\t\tPCIEXP_WAK Bits Supported (V4) : 0\n");
399 	EFPRINTF(fp, "\t\t\tUse Platform Timer (V4) : 0\n");
400 	EFPRINTF(fp, "\t\t\tRTC_STS valid on S4 wake (V4) : 0\n");
401 	EFPRINTF(fp, "\t\t\tRemote Power-on capable (V4) : 0\n");
402 	EFPRINTF(fp, "\t\t\tUse APIC Cluster Model (V4) : 0\n");
403 	EFPRINTF(fp, "\t\t\tUse APIC Physical Destination Mode (V4) : 1\n");
404 	EFPRINTF(fp, "\t\t\tHardware Reduced (V5) : 0\n");
405 	EFPRINTF(fp, "\t\t\tLow Power S0 Idle (V5) : 0\n");
406 	EFPRINTF(fp, "\n");
407 
408 	EFPRINTF(fp,
409 	    "[0012]\t\tReset Register : [Generic Address Structure]\n");
410 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
411 	EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
412 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
413 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
414 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000CF9\n");
415 	EFPRINTF(fp, "\n");
416 
417 	EFPRINTF(fp, "[0001]\t\tValue to cause reset : 06\n");
418 	EFPRINTF(fp, "[0003]\t\tReserved : 000000\n");
419 	EFPRINTF(fp, "[0008]\t\tFACS Address : 00000000%08X\n",
420 	    basl_acpi_base + FACS_OFFSET);
421 	EFPRINTF(fp, "[0008]\t\tDSDT Address : 00000000%08X\n",
422 	    basl_acpi_base + DSDT_OFFSET);
423 	EFPRINTF(fp,
424 	    "[0012]\t\tPM1A Event Block : [Generic Address Structure]\n");
425 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
426 	EFPRINTF(fp, "[0001]\t\tBit Width : 20\n");
427 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
428 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 02 [Word Access:16]\n");
429 	EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
430 	    PM1A_EVT_ADDR);
431 	EFPRINTF(fp, "\n");
432 
433 	EFPRINTF(fp,
434 	    "[0012]\t\tPM1B Event Block : [Generic Address Structure]\n");
435 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
436 	EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
437 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
438 	EFPRINTF(fp,
439 	    "[0001]\t\tEncoded Access Width : 00 [Undefined/Legacy]\n");
440 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
441 	EFPRINTF(fp, "\n");
442 
443 	EFPRINTF(fp,
444 	    "[0012]\t\tPM1A Control Block : [Generic Address Structure]\n");
445 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
446 	EFPRINTF(fp, "[0001]\t\tBit Width : 10\n");
447 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
448 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 02 [Word Access:16]\n");
449 	EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
450 	    PM1A_CNT_ADDR);
451 	EFPRINTF(fp, "\n");
452 
453 	EFPRINTF(fp,
454 	    "[0012]\t\tPM1B Control Block : [Generic Address Structure]\n");
455 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
456 	EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
457 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
458 	EFPRINTF(fp,
459 	    "[0001]\t\tEncoded Access Width : 00 [Undefined/Legacy]\n");
460 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
461 	EFPRINTF(fp, "\n");
462 
463 	EFPRINTF(fp,
464 	    "[0012]\t\tPM2 Control Block : [Generic Address Structure]\n");
465 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
466 	EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
467 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
468 	EFPRINTF(fp,
469 	    "[0001]\t\tEncoded Access Width : 00 [Undefined/Legacy]\n");
470 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
471 	EFPRINTF(fp, "\n");
472 
473 	/* Valid for bhyve */
474 	EFPRINTF(fp,
475 	    "[0012]\t\tPM Timer Block : [Generic Address Structure]\n");
476 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
477 	EFPRINTF(fp, "[0001]\t\tBit Width : 32\n");
478 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
479 	EFPRINTF(fp,
480 	    "[0001]\t\tEncoded Access Width : 03 [DWord Access:32]\n");
481 	EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
482 	    IO_PMTMR);
483 	EFPRINTF(fp, "\n");
484 
485 	EFPRINTF(fp, "[0012]\t\tGPE0 Block : [Generic Address Structure]\n");
486 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
487 	EFPRINTF(fp, "[0001]\t\tBit Width : 80\n");
488 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
489 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
490 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
491 	EFPRINTF(fp, "\n");
492 
493 	EFPRINTF(fp, "[0012]\t\tGPE1 Block : [Generic Address Structure]\n");
494 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
495 	EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
496 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
497 	EFPRINTF(fp,
498 	    "[0001]\t\tEncoded Access Width : 00 [Undefined/Legacy]\n");
499 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
500 	EFPRINTF(fp, "\n");
501 
502 	EFPRINTF(fp,
503 	   "[0012]\t\tSleep Control Register : [Generic Address Structure]\n");
504 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
505 	EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
506 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
507 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
508 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
509 	EFPRINTF(fp, "\n");
510 
511 	EFPRINTF(fp,
512 	    "[0012]\t\tSleep Status Register : [Generic Address Structure]\n");
513 	EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
514 	EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
515 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
516 	EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
517 	EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
518 
519 	EFFLUSH(fp);
520 
521 	return (0);
522 
523 err_exit:
524 	return (errno);
525 }
526 
527 static int
528 basl_fwrite_hpet(FILE *fp)
529 {
530 	int err;
531 
532 	err = 0;
533 
534 	EFPRINTF(fp, "/*\n");
535 	EFPRINTF(fp, " * bhyve HPET template\n");
536 	EFPRINTF(fp, " */\n");
537 	EFPRINTF(fp, "[0004]\t\tSignature : \"HPET\"\n");
538 	EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
539 	EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
540 	EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
541 	EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
542 	EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVHPET  \"\n");
543 	EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
544 
545 	/* iasl will fill in the compiler ID/revision fields */
546 	EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
547 	EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
548 	EFPRINTF(fp, "\n");
549 
550 	EFPRINTF(fp, "[0004]\t\tTimer Block ID : %08X\n", hpet_capabilities);
551 	EFPRINTF(fp,
552 	    "[0012]\t\tTimer Block Register : [Generic Address Structure]\n");
553 	EFPRINTF(fp, "[0001]\t\tSpace ID : 00 [SystemMemory]\n");
554 	EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
555 	EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
556 	EFPRINTF(fp,
557 		 "[0001]\t\tEncoded Access Width : 00 [Undefined/Legacy]\n");
558 	EFPRINTF(fp, "[0008]\t\tAddress : 00000000FED00000\n");
559 	EFPRINTF(fp, "\n");
560 
561 	EFPRINTF(fp, "[0001]\t\tHPET Number : 00\n");
562 	EFPRINTF(fp, "[0002]\t\tMinimum Clock Ticks : 0000\n");
563 	EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
564 	EFPRINTF(fp, "\t\t\t4K Page Protect : 1\n");
565 	EFPRINTF(fp, "\t\t\t64K Page Protect : 0\n");
566 	EFPRINTF(fp, "\n");
567 
568 	EFFLUSH(fp);
569 
570 	return (0);
571 
572 err_exit:
573 	return (errno);
574 }
575 
576 static int
577 basl_fwrite_facs(FILE *fp)
578 {
579 	int err;
580 
581 	err = 0;
582 
583 	EFPRINTF(fp, "/*\n");
584 	EFPRINTF(fp, " * bhyve FACS template\n");
585 	EFPRINTF(fp, " */\n");
586 	EFPRINTF(fp, "[0004]\t\tSignature : \"FACS\"\n");
587 	EFPRINTF(fp, "[0004]\t\tLength : 00000040\n");
588 	EFPRINTF(fp, "[0004]\t\tHardware Signature : 00000000\n");
589 	EFPRINTF(fp, "[0004]\t\t32 Firmware Waking Vector : 00000000\n");
590 	EFPRINTF(fp, "[0004]\t\tGlobal Lock : 00000000\n");
591 	EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000000\n");
592 	EFPRINTF(fp, "\t\t\tS4BIOS Support Present : 0\n");
593 	EFPRINTF(fp, "\t\t\t64-bit Wake Supported (V2) : 0\n");
594 	EFPRINTF(fp,
595 	    "[0008]\t\t64 Firmware Waking Vector : 0000000000000000\n");
596 	EFPRINTF(fp, "[0001]\t\tVersion : 02\n");
597 	EFPRINTF(fp, "[0003]\t\tReserved : 000000\n");
598 	EFPRINTF(fp, "[0004]\t\tOspmFlags (decoded below) : 00000000\n");
599 	EFPRINTF(fp, "\t\t\t64-bit Wake Env Required (V2) : 0\n");
600 
601 	EFFLUSH(fp);
602 
603 	return (0);
604 
605 err_exit:
606 	return (errno);
607 }
608 
609 static int
610 basl_fwrite_dsdt(FILE *fp)
611 {
612 	int err;
613 
614 	err = 0;
615 
616 	EFPRINTF(fp, "/*\n");
617 	EFPRINTF(fp, " * bhyve DSDT template\n");
618 	EFPRINTF(fp, " */\n");
619 	EFPRINTF(fp, "DefinitionBlock (\"bhyve_dsdt.aml\", \"DSDT\", 2,"
620 		 "\"BHYVE \", \"BVDSDT  \", 0x00000001)\n");
621 	EFPRINTF(fp, "{\n");
622 	EFPRINTF(fp, "  Name (_S5, Package (0x02)\n");
623 	EFPRINTF(fp, "  {\n");
624 	EFPRINTF(fp, "      0x05,\n");
625 	EFPRINTF(fp, "      Zero,\n");
626 	EFPRINTF(fp, "  })\n");
627 	EFPRINTF(fp, "  Scope (_SB)\n");
628 	EFPRINTF(fp, "  {\n");
629 	EFPRINTF(fp, "    Device (PCI0)\n");
630 	EFPRINTF(fp, "    {\n");
631 	EFPRINTF(fp, "      Name (_HID, EisaId (\"PNP0A03\"))\n");
632 	EFPRINTF(fp, "      Name (_ADR, Zero)\n");
633 	EFPRINTF(fp, "      Name (_UID, One)\n");
634 	EFPRINTF(fp, "      Name (_CRS, ResourceTemplate ()\n");
635 	EFPRINTF(fp, "      {\n");
636 	EFPRINTF(fp, "        WordBusNumber (ResourceProducer, MinFixed,"
637 		 "MaxFixed, PosDecode,\n");
638 	EFPRINTF(fp, "            0x0000,             // Granularity\n");
639 	EFPRINTF(fp, "            0x0000,             // Range Minimum\n");
640 	EFPRINTF(fp, "            0x00FF,             // Range Maximum\n");
641 	EFPRINTF(fp, "            0x0000,             // Transl Offset\n");
642 	EFPRINTF(fp, "            0x0100,             // Length\n");
643 	EFPRINTF(fp, "            ,, )\n");
644 	EFPRINTF(fp, "         IO (Decode16,\n");
645 	EFPRINTF(fp, "            0x0CF8,             // Range Minimum\n");
646 	EFPRINTF(fp, "            0x0CF8,             // Range Maximum\n");
647 	EFPRINTF(fp, "            0x01,               // Alignment\n");
648 	EFPRINTF(fp, "            0x08,               // Length\n");
649 	EFPRINTF(fp, "            )\n");
650 	EFPRINTF(fp, "         WordIO (ResourceProducer, MinFixed, MaxFixed,"
651 		 "PosDecode, EntireRange,\n");
652 	EFPRINTF(fp, "            0x0000,             // Granularity\n");
653 	EFPRINTF(fp, "            0x0000,             // Range Minimum\n");
654 	EFPRINTF(fp, "            0x0CF7,             // Range Maximum\n");
655 	EFPRINTF(fp, "            0x0000,             // Transl Offset\n");
656 	EFPRINTF(fp, "            0x0CF8,             // Length\n");
657 	EFPRINTF(fp, "            ,, , TypeStatic)\n");
658 	EFPRINTF(fp, "         WordIO (ResourceProducer, MinFixed, MaxFixed,"
659 		 "PosDecode, EntireRange,\n");
660 	EFPRINTF(fp, "            0x0000,             // Granularity\n");
661 	EFPRINTF(fp, "            0x0D00,             // Range Minimum\n");
662 	EFPRINTF(fp, "            0xFFFF,             // Range Maximum\n");
663 	EFPRINTF(fp, "            0x0000,             // Transl Offset\n");
664 	EFPRINTF(fp, "            0xF300,             // Length\n");
665 	EFPRINTF(fp, "             ,, , TypeStatic)\n");
666 	EFPRINTF(fp, "          })\n");
667 	EFPRINTF(fp, "     }\n");
668 	EFPRINTF(fp, "  }\n");
669 	EFPRINTF(fp, "\n");
670 	EFPRINTF(fp, "  Scope (_SB.PCI0)\n");
671 	EFPRINTF(fp, "  {\n");
672 	EFPRINTF(fp, "    Device (ISA)\n");
673 	EFPRINTF(fp, "    {\n");
674 	EFPRINTF(fp, "      Name (_ADR, 0x00010000)\n");
675 	EFPRINTF(fp, "      OperationRegion (P40C, PCI_Config, 0x60, 0x04)\n");
676 	EFPRINTF(fp, "    }\n");
677 
678 	EFPRINTF(fp, "    Device (HPET)\n");
679 	EFPRINTF(fp, "    {\n");
680 	EFPRINTF(fp, "      Name (_HID, EISAID(\"PNP0103\"))\n");
681 	EFPRINTF(fp, "      Name (_UID, 0)\n");
682 	EFPRINTF(fp, "      Name (_CRS, ResourceTemplate ()\n");
683 	EFPRINTF(fp, "      {\n");
684 	EFPRINTF(fp, "        DWordMemory (ResourceConsumer, PosDecode, "
685 		 "MinFixed, MaxFixed, NonCacheable, ReadWrite,\n");
686 	EFPRINTF(fp, "            0x00000000,\n");
687 	EFPRINTF(fp, "            0xFED00000,\n");
688 	EFPRINTF(fp, "            0xFED003FF,\n");
689 	EFPRINTF(fp, "            0x00000000,\n");
690 	EFPRINTF(fp, "            0x00000400\n");
691 	EFPRINTF(fp, "            )\n");
692 	EFPRINTF(fp, "      })\n");
693 	EFPRINTF(fp, "    }\n");
694 
695 	EFPRINTF(fp, "  }\n");
696 	EFPRINTF(fp, "\n");
697 	EFPRINTF(fp, "  Scope (_SB.PCI0.ISA)\n");
698         EFPRINTF(fp, "  {\n");
699 	EFPRINTF(fp, "    Device (RTC)\n");
700         EFPRINTF(fp, "    {\n");
701 	EFPRINTF(fp, "      Name (_HID, EisaId (\"PNP0B00\"))\n");
702 	EFPRINTF(fp, "      Name (_CRS, ResourceTemplate ()\n");
703 	EFPRINTF(fp, "      {\n");
704 	EFPRINTF(fp, "        IO (Decode16,\n");
705 	EFPRINTF(fp, "            0x0070,             // Range Minimum\n");
706 	EFPRINTF(fp, "            0x0070,             // Range Maximum\n");
707 	EFPRINTF(fp, "            0x10,               // Alignment\n");
708 	EFPRINTF(fp, "            0x02,               // Length\n");
709 	EFPRINTF(fp, "            )\n");
710 	EFPRINTF(fp, "        IRQNoFlags ()\n");
711 	EFPRINTF(fp, "            {8}\n");
712 	EFPRINTF(fp, "        IO (Decode16,\n");
713 	EFPRINTF(fp, "            0x0072,             // Range Minimum\n");
714 	EFPRINTF(fp, "            0x0072,             // Range Maximum\n");
715 	EFPRINTF(fp, "            0x02,               // Alignment\n");
716 	EFPRINTF(fp, "            0x06,               // Length\n");
717 	EFPRINTF(fp, "            )\n");
718 	EFPRINTF(fp, "      })\n");
719         EFPRINTF(fp, "    }\n");
720 	EFPRINTF(fp, "  }\n");
721 	EFPRINTF(fp, "}\n");
722 
723 	EFFLUSH(fp);
724 
725 	return (0);
726 
727 err_exit:
728 	return (errno);
729 }
730 
731 static int
732 basl_open(struct basl_fio *bf, int suffix)
733 {
734 	int err;
735 
736 	err = 0;
737 
738 	if (suffix) {
739 		strncpy(bf->f_name, basl_stemplate, MAXPATHLEN);
740 		bf->fd = mkstemps(bf->f_name, strlen(BHYVE_ASL_SUFFIX));
741 	} else {
742 		strncpy(bf->f_name, basl_template, MAXPATHLEN);
743 		bf->fd = mkstemp(bf->f_name);
744 	}
745 
746 	if (bf->fd > 0) {
747 		bf->fp = fdopen(bf->fd, "w+");
748 		if (bf->fp == NULL) {
749 			unlink(bf->f_name);
750 			close(bf->fd);
751 		}
752 	} else {
753 		err = 1;
754 	}
755 
756 	return (err);
757 }
758 
759 static void
760 basl_close(struct basl_fio *bf)
761 {
762 
763 	if (!basl_keep_temps)
764 		unlink(bf->f_name);
765 	fclose(bf->fp);
766 }
767 
768 static int
769 basl_start(struct basl_fio *in, struct basl_fio *out)
770 {
771 	int err;
772 
773 	err = basl_open(in, 0);
774 	if (!err) {
775 		err = basl_open(out, 1);
776 		if (err) {
777 			basl_close(in);
778 		}
779 	}
780 
781 	return (err);
782 }
783 
784 static void
785 basl_end(struct basl_fio *in, struct basl_fio *out)
786 {
787 
788 	basl_close(in);
789 	basl_close(out);
790 }
791 
792 static int
793 basl_load(struct vmctx *ctx, int fd, uint64_t off)
794 {
795 	struct stat sb;
796 	void *gaddr;
797 
798 	if (fstat(fd, &sb) < 0)
799 		return (errno);
800 
801 	gaddr = paddr_guest2host(ctx, basl_acpi_base + off, sb.st_size);
802 	if (gaddr == NULL)
803 		return (EFAULT);
804 
805 	if (read(fd, gaddr, sb.st_size) < 0)
806 		return (errno);
807 
808 	return (0);
809 }
810 
811 static int
812 basl_compile(struct vmctx *ctx, int (*fwrite_section)(FILE *), uint64_t offset)
813 {
814 	struct basl_fio io[2];
815 	static char iaslbuf[3*MAXPATHLEN + 10];
816 	char *fmt;
817 	int err;
818 
819 	err = basl_start(&io[0], &io[1]);
820 	if (!err) {
821 		err = (*fwrite_section)(io[0].fp);
822 
823 		if (!err) {
824 			/*
825 			 * iasl sends the results of the compilation to
826 			 * stdout. Shut this down by using the shell to
827 			 * redirect stdout to /dev/null, unless the user
828 			 * has requested verbose output for debugging
829 			 * purposes
830 			 */
831 			fmt = basl_verbose_iasl ?
832 				"%s -p %s %s" :
833 				"/bin/sh -c \"%s -p %s %s\" 1> /dev/null";
834 
835 			snprintf(iaslbuf, sizeof(iaslbuf),
836 				 fmt,
837 				 BHYVE_ASL_COMPILER,
838 				 io[1].f_name, io[0].f_name);
839 			err = system(iaslbuf);
840 
841 			if (!err) {
842 				/*
843 				 * Copy the aml output file into guest
844 				 * memory at the specified location
845 				 */
846 				err = basl_load(ctx, io[1].fd, offset);
847 			}
848 		}
849 		basl_end(&io[0], &io[1]);
850 	}
851 
852 	return (err);
853 }
854 
855 static int
856 basl_make_templates(void)
857 {
858 	const char *tmpdir;
859 	int err;
860 	int len;
861 
862 	err = 0;
863 
864 	/*
865 	 *
866 	 */
867 	if ((tmpdir = getenv("BHYVE_TMPDIR")) == NULL || *tmpdir == '\0' ||
868 	    (tmpdir = getenv("TMPDIR")) == NULL || *tmpdir == '\0') {
869 		tmpdir = _PATH_TMP;
870 	}
871 
872 	len = strlen(tmpdir);
873 
874 	if ((len + sizeof(BHYVE_ASL_TEMPLATE) + 1) < MAXPATHLEN) {
875 		strcpy(basl_template, tmpdir);
876 		while (len > 0 && basl_template[len - 1] == '/')
877 			len--;
878 		basl_template[len] = '/';
879 		strcpy(&basl_template[len + 1], BHYVE_ASL_TEMPLATE);
880 	} else
881 		err = E2BIG;
882 
883 	if (!err) {
884 		/*
885 		 * len has been intialized (and maybe adjusted) above
886 		 */
887 		if ((len + sizeof(BHYVE_ASL_TEMPLATE) + 1 +
888 		     sizeof(BHYVE_ASL_SUFFIX)) < MAXPATHLEN) {
889 			strcpy(basl_stemplate, tmpdir);
890 			basl_stemplate[len] = '/';
891 			strcpy(&basl_stemplate[len + 1], BHYVE_ASL_TEMPLATE);
892 			len = strlen(basl_stemplate);
893 			strcpy(&basl_stemplate[len], BHYVE_ASL_SUFFIX);
894 		} else
895 			err = E2BIG;
896 	}
897 
898 	return (err);
899 }
900 
901 static struct {
902 	int	(*wsect)(FILE *fp);
903 	uint64_t  offset;
904 } basl_ftables[] =
905 {
906 	{ basl_fwrite_rsdp, 0},
907 	{ basl_fwrite_rsdt, RSDT_OFFSET },
908 	{ basl_fwrite_xsdt, XSDT_OFFSET },
909 	{ basl_fwrite_madt, MADT_OFFSET },
910 	{ basl_fwrite_fadt, FADT_OFFSET },
911 	{ basl_fwrite_hpet, HPET_OFFSET },
912 	{ basl_fwrite_facs, FACS_OFFSET },
913 	{ basl_fwrite_dsdt, DSDT_OFFSET },
914 	{ NULL }
915 };
916 
917 int
918 acpi_build(struct vmctx *ctx, int ncpu)
919 {
920 	int err;
921 	int i;
922 
923 	basl_ncpu = ncpu;
924 
925 	err = vm_get_hpet_capabilities(ctx, &hpet_capabilities);
926 	if (err != 0)
927 		return (err);
928 
929 	/*
930 	 * For debug, allow the user to have iasl compiler output sent
931 	 * to stdout rather than /dev/null
932 	 */
933 	if (getenv("BHYVE_ACPI_VERBOSE_IASL"))
934 		basl_verbose_iasl = 1;
935 
936 	/*
937 	 * Allow the user to keep the generated ASL files for debugging
938 	 * instead of deleting them following use
939 	 */
940 	if (getenv("BHYVE_ACPI_KEEPTMPS"))
941 		basl_keep_temps = 1;
942 
943 	i = 0;
944 	err = basl_make_templates();
945 
946 	/*
947 	 * Run through all the ASL files, compiling them and
948 	 * copying them into guest memory
949 	 */
950 	while (!err && basl_ftables[i].wsect != NULL) {
951 		err = basl_compile(ctx, basl_ftables[i].wsect,
952 				   basl_ftables[i].offset);
953 		i++;
954 	}
955 
956 	return (err);
957 }
958