Lines Matching refs:EFPRINTF
136 #define EFPRINTF(...) \
145 EFPRINTF(fp, "/*\n");
146 EFPRINTF(fp, " * bhyve RSDP template\n");
147 EFPRINTF(fp, " */\n");
148 EFPRINTF(fp, "[0008]\t\tSignature : \"RSD PTR \"\n");
149 EFPRINTF(fp, "[0001]\t\tChecksum : 43\n");
150 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
151 EFPRINTF(fp, "[0001]\t\tRevision : 02\n");
152 EFPRINTF(fp, "[0004]\t\tRSDT Address : %08X\n",
154 EFPRINTF(fp, "[0004]\t\tLength : 00000024\n");
155 EFPRINTF(fp, "[0008]\t\tXSDT Address : 00000000%08X\n",
157 EFPRINTF(fp, "[0001]\t\tExtended Checksum : 00\n");
158 EFPRINTF(fp, "[0003]\t\tReserved : 000000\n");
171 EFPRINTF(fp, "/*\n");
172 EFPRINTF(fp, " * bhyve RSDT template\n");
173 EFPRINTF(fp, " */\n");
174 EFPRINTF(fp, "[0004]\t\tSignature : \"RSDT\"\n");
175 EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
176 EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
177 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
178 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
179 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVRSDT \"\n");
180 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
182 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
183 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
184 EFPRINTF(fp, "\n");
187 EFPRINTF(fp, "[0004]\t\tACPI Table Address 0 : %08X\n",
189 EFPRINTF(fp, "[0004]\t\tACPI Table Address 1 : %08X\n",
191 EFPRINTF(fp, "[0004]\t\tACPI Table Address 2 : %08X\n",
193 EFPRINTF(fp, "[0004]\t\tACPI Table Address 3 : %08X\n",
207 EFPRINTF(fp, "/*\n");
208 EFPRINTF(fp, " * bhyve XSDT template\n");
209 EFPRINTF(fp, " */\n");
210 EFPRINTF(fp, "[0004]\t\tSignature : \"XSDT\"\n");
211 EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
212 EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
213 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
214 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
215 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVXSDT \"\n");
216 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
218 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
219 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
220 EFPRINTF(fp, "\n");
223 EFPRINTF(fp, "[0004]\t\tACPI Table Address 0 : 00000000%08X\n",
225 EFPRINTF(fp, "[0004]\t\tACPI Table Address 1 : 00000000%08X\n",
227 EFPRINTF(fp, "[0004]\t\tACPI Table Address 2 : 00000000%08X\n",
229 EFPRINTF(fp, "[0004]\t\tACPI Table Address 3 : 00000000%08X\n",
245 EFPRINTF(fp, "/*\n");
246 EFPRINTF(fp, " * bhyve MADT template\n");
247 EFPRINTF(fp, " */\n");
248 EFPRINTF(fp, "[0004]\t\tSignature : \"APIC\"\n");
249 EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
250 EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
251 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
252 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
253 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVMADT \"\n");
254 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
257 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
258 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
259 EFPRINTF(fp, "\n");
261 EFPRINTF(fp, "[0004]\t\tLocal Apic Address : FEE00000\n");
262 EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
263 EFPRINTF(fp, "\t\t\tPC-AT Compatibility : 1\n");
264 EFPRINTF(fp, "\n");
268 EFPRINTF(fp, "[0001]\t\tSubtable Type : 00\n");
269 EFPRINTF(fp, "[0001]\t\tLength : 08\n");
271 EFPRINTF(fp, "[0001]\t\tProcessor ID : %02x\n", i);
272 EFPRINTF(fp, "[0001]\t\tLocal Apic ID : %02x\n", i);
273 EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
274 EFPRINTF(fp, "\t\t\tProcessor Enabled : 1\n");
275 EFPRINTF(fp, "\t\t\tRuntime Online Capable : 0\n");
276 EFPRINTF(fp, "\n");
280 EFPRINTF(fp, "[0001]\t\tSubtable Type : 01\n");
281 EFPRINTF(fp, "[0001]\t\tLength : 0C\n");
283 EFPRINTF(fp, "[0001]\t\tI/O Apic ID : %02x\n", 0);
284 EFPRINTF(fp, "[0001]\t\tReserved : 00\n");
285 EFPRINTF(fp, "[0004]\t\tAddress : fec00000\n");
286 EFPRINTF(fp, "[0004]\t\tInterrupt : 00000000\n");
287 EFPRINTF(fp, "\n");
290 EFPRINTF(fp, "[0001]\t\tSubtable Type : 02\n");
291 EFPRINTF(fp, "[0001]\t\tLength : 0A\n");
292 EFPRINTF(fp, "[0001]\t\tBus : 00\n");
293 EFPRINTF(fp, "[0001]\t\tSource : 00\n");
294 EFPRINTF(fp, "[0004]\t\tInterrupt : 00000002\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, "\n");
300 EFPRINTF(fp, "[0001]\t\tSubtable Type : 02\n");
301 EFPRINTF(fp, "[0001]\t\tLength : 0A\n");
302 EFPRINTF(fp, "[0001]\t\tBus : 00\n");
303 EFPRINTF(fp, "[0001]\t\tSource : %02X\n", SCI_INT);
304 EFPRINTF(fp, "[0004]\t\tInterrupt : %08X\n", SCI_INT);
305 EFPRINTF(fp, "[0002]\t\tFlags (decoded below) : 0000\n");
306 EFPRINTF(fp, "\t\t\tPolarity : 3\n");
307 EFPRINTF(fp, "\t\t\tTrigger Mode : 3\n");
308 EFPRINTF(fp, "\n");
311 EFPRINTF(fp, "[0001]\t\tSubtable Type : 04\n");
312 EFPRINTF(fp, "[0001]\t\tLength : 06\n");
313 EFPRINTF(fp, "[0001]\t\tProcessor ID : FF\n");
314 EFPRINTF(fp, "[0002]\t\tFlags (decoded below) : 0005\n");
315 EFPRINTF(fp, "\t\t\tPolarity : 1\n");
316 EFPRINTF(fp, "\t\t\tTrigger Mode : 1\n");
317 EFPRINTF(fp, "[0001]\t\tInterrupt Input LINT : 01\n");
318 EFPRINTF(fp, "\n");
331 EFPRINTF(fp, "/*\n");
332 EFPRINTF(fp, " * bhyve FADT template\n");
333 EFPRINTF(fp, " */\n");
334 EFPRINTF(fp, "[0004]\t\tSignature : \"FACP\"\n");
335 EFPRINTF(fp, "[0004]\t\tTable Length : 0000010C\n");
336 EFPRINTF(fp, "[0001]\t\tRevision : 05\n");
337 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
338 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
339 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVFACP \"\n");
340 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
342 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
343 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
344 EFPRINTF(fp, "\n");
346 EFPRINTF(fp, "[0004]\t\tFACS Address : %08X\n",
348 EFPRINTF(fp, "[0004]\t\tDSDT Address : %08X\n",
350 EFPRINTF(fp, "[0001]\t\tModel : 01\n");
351 EFPRINTF(fp, "[0001]\t\tPM Profile : 00 [Unspecified]\n");
352 EFPRINTF(fp, "[0002]\t\tSCI Interrupt : %04X\n",
354 EFPRINTF(fp, "[0004]\t\tSMI Command Port : %08X\n",
356 EFPRINTF(fp, "[0001]\t\tACPI Enable Value : %02X\n",
358 EFPRINTF(fp, "[0001]\t\tACPI Disable Value : %02X\n",
360 EFPRINTF(fp, "[0001]\t\tS4BIOS Command : 00\n");
361 EFPRINTF(fp, "[0001]\t\tP-State Control : 00\n");
362 EFPRINTF(fp, "[0004]\t\tPM1A Event Block Address : %08X\n",
364 EFPRINTF(fp, "[0004]\t\tPM1B Event Block Address : 00000000\n");
365 EFPRINTF(fp, "[0004]\t\tPM1A Control Block Address : %08X\n",
367 EFPRINTF(fp, "[0004]\t\tPM1B Control Block Address : 00000000\n");
368 EFPRINTF(fp, "[0004]\t\tPM2 Control Block Address : 00000000\n");
369 EFPRINTF(fp, "[0004]\t\tPM Timer Block Address : %08X\n",
371 EFPRINTF(fp, "[0004]\t\tGPE0 Block Address : %08X\n", IO_GPE0_BLK);
372 EFPRINTF(fp, "[0004]\t\tGPE1 Block Address : 00000000\n");
373 EFPRINTF(fp, "[0001]\t\tPM1 Event Block Length : 04\n");
374 EFPRINTF(fp, "[0001]\t\tPM1 Control Block Length : 02\n");
375 EFPRINTF(fp, "[0001]\t\tPM2 Control Block Length : 00\n");
376 EFPRINTF(fp, "[0001]\t\tPM Timer Block Length : 04\n");
377 EFPRINTF(fp, "[0001]\t\tGPE0 Block Length : %02x\n", IO_GPE0_LEN);
378 EFPRINTF(fp, "[0001]\t\tGPE1 Block Length : 00\n");
379 EFPRINTF(fp, "[0001]\t\tGPE1 Base Offset : 00\n");
380 EFPRINTF(fp, "[0001]\t\t_CST Support : 00\n");
381 EFPRINTF(fp, "[0002]\t\tC2 Latency : 0000\n");
382 EFPRINTF(fp, "[0002]\t\tC3 Latency : 0000\n");
383 EFPRINTF(fp, "[0002]\t\tCPU Cache Size : 0000\n");
384 EFPRINTF(fp, "[0002]\t\tCache Flush Stride : 0000\n");
385 EFPRINTF(fp, "[0001]\t\tDuty Cycle Offset : 00\n");
386 EFPRINTF(fp, "[0001]\t\tDuty Cycle Width : 00\n");
387 EFPRINTF(fp, "[0001]\t\tRTC Day Alarm Index : 00\n");
388 EFPRINTF(fp, "[0001]\t\tRTC Month Alarm Index : 00\n");
389 EFPRINTF(fp, "[0001]\t\tRTC Century Index : 32\n");
390 EFPRINTF(fp, "[0002]\t\tBoot Flags (decoded below) : 0000\n");
391 EFPRINTF(fp, "\t\t\tLegacy Devices Supported (V2) : 0\n");
392 EFPRINTF(fp, "\t\t\t8042 Present on ports 60/64 (V2) : 0\n");
393 EFPRINTF(fp, "\t\t\tVGA Not Present (V4) : 1\n");
394 EFPRINTF(fp, "\t\t\tMSI Not Supported (V4) : 0\n");
395 EFPRINTF(fp, "\t\t\tPCIe ASPM Not Supported (V4) : 1\n");
396 EFPRINTF(fp, "\t\t\tCMOS RTC Not Present (V5) : 0\n");
397 EFPRINTF(fp, "[0001]\t\tReserved : 00\n");
398 EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000000\n");
399 EFPRINTF(fp, "\t\t\tWBINVD instruction is operational (V1) : 1\n");
400 EFPRINTF(fp, "\t\t\tWBINVD flushes all caches (V1) : 0\n");
401 EFPRINTF(fp, "\t\t\tAll CPUs support C1 (V1) : 1\n");
402 EFPRINTF(fp, "\t\t\tC2 works on MP system (V1) : 0\n");
403 EFPRINTF(fp, "\t\t\tControl Method Power Button (V1) : 0\n");
404 EFPRINTF(fp, "\t\t\tControl Method Sleep Button (V1) : 1\n");
405 EFPRINTF(fp, "\t\t\tRTC wake not in fixed reg space (V1) : 0\n");
406 EFPRINTF(fp, "\t\t\tRTC can wake system from S4 (V1) : 0\n");
407 EFPRINTF(fp, "\t\t\t32-bit PM Timer (V1) : 1\n");
408 EFPRINTF(fp, "\t\t\tDocking Supported (V1) : 0\n");
409 EFPRINTF(fp, "\t\t\tReset Register Supported (V2) : 1\n");
410 EFPRINTF(fp, "\t\t\tSealed Case (V3) : 0\n");
411 EFPRINTF(fp, "\t\t\tHeadless - No Video (V3) : 1\n");
412 EFPRINTF(fp, "\t\t\tUse native instr after SLP_TYPx (V3) : 0\n");
413 EFPRINTF(fp, "\t\t\tPCIEXP_WAK Bits Supported (V4) : 0\n");
414 EFPRINTF(fp, "\t\t\tUse Platform Timer (V4) : 0\n");
415 EFPRINTF(fp, "\t\t\tRTC_STS valid on S4 wake (V4) : 0\n");
416 EFPRINTF(fp, "\t\t\tRemote Power-on capable (V4) : 0\n");
417 EFPRINTF(fp, "\t\t\tUse APIC Cluster Model (V4) : 0\n");
418 EFPRINTF(fp, "\t\t\tUse APIC Physical Destination Mode (V4) : 1\n");
419 EFPRINTF(fp, "\t\t\tHardware Reduced (V5) : 0\n");
420 EFPRINTF(fp, "\t\t\tLow Power S0 Idle (V5) : 0\n");
421 EFPRINTF(fp, "\n");
423 EFPRINTF(fp,
425 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
426 EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
427 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
428 EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
429 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000CF9\n");
430 EFPRINTF(fp, "\n");
432 EFPRINTF(fp, "[0001]\t\tValue to cause reset : 06\n");
433 EFPRINTF(fp, "[0002]\t\tARM Flags (decoded below): 0000\n");
434 EFPRINTF(fp, "\t\t\tPSCI Compliant : 0\n");
435 EFPRINTF(fp, "\t\t\tMust use HVC for PSCI : 0\n");
436 EFPRINTF(fp, "[0001]\t\tFADT Minor Revision : 01\n");
437 EFPRINTF(fp, "[0008]\t\tFACS Address : 00000000%08X\n",
439 EFPRINTF(fp, "[0008]\t\tDSDT Address : 00000000%08X\n",
441 EFPRINTF(fp,
443 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
444 EFPRINTF(fp, "[0001]\t\tBit Width : 20\n");
445 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
446 EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 02 [Word Access:16]\n");
447 EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
449 EFPRINTF(fp, "\n");
451 EFPRINTF(fp,
453 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
454 EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
455 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
456 EFPRINTF(fp,
458 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
459 EFPRINTF(fp, "\n");
461 EFPRINTF(fp,
463 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
464 EFPRINTF(fp, "[0001]\t\tBit Width : 10\n");
465 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
466 EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 02 [Word Access:16]\n");
467 EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
469 EFPRINTF(fp, "\n");
471 EFPRINTF(fp,
473 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
474 EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
475 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
476 EFPRINTF(fp,
478 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
479 EFPRINTF(fp, "\n");
481 EFPRINTF(fp,
483 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
484 EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
485 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
486 EFPRINTF(fp,
488 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
489 EFPRINTF(fp, "\n");
492 EFPRINTF(fp,
494 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
495 EFPRINTF(fp, "[0001]\t\tBit Width : 20\n");
496 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
497 EFPRINTF(fp,
499 EFPRINTF(fp, "[0008]\t\tAddress : 00000000%08X\n",
501 EFPRINTF(fp, "\n");
503 EFPRINTF(fp, "[0012]\t\tGPE0 Block : [Generic Address Structure]\n");
504 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
505 EFPRINTF(fp, "[0001]\t\tBit Width : %02x\n", IO_GPE0_LEN * 8);
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 : %016X\n", IO_GPE0_BLK);
509 EFPRINTF(fp, "\n");
511 EFPRINTF(fp, "[0012]\t\tGPE1 Block : [Generic Address Structure]\n");
512 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
513 EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
514 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
515 EFPRINTF(fp,
517 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
518 EFPRINTF(fp, "\n");
520 EFPRINTF(fp,
522 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
523 EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
524 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
525 EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
526 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
527 EFPRINTF(fp, "\n");
529 EFPRINTF(fp,
531 EFPRINTF(fp, "[0001]\t\tSpace ID : 01 [SystemIO]\n");
532 EFPRINTF(fp, "[0001]\t\tBit Width : 08\n");
533 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
534 EFPRINTF(fp, "[0001]\t\tEncoded Access Width : 01 [Byte Access:8]\n");
535 EFPRINTF(fp, "[0008]\t\tAddress : 0000000000000000\n");
548 EFPRINTF(fp, "/*\n");
549 EFPRINTF(fp, " * bhyve HPET template\n");
550 EFPRINTF(fp, " */\n");
551 EFPRINTF(fp, "[0004]\t\tSignature : \"HPET\"\n");
552 EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
553 EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
554 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
555 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
556 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVHPET \"\n");
557 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
560 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
561 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
562 EFPRINTF(fp, "\n");
564 EFPRINTF(fp, "[0004]\t\tHardware Block ID : %08X\n", hpet_capabilities);
565 EFPRINTF(fp,
567 EFPRINTF(fp, "[0001]\t\tSpace ID : 00 [SystemMemory]\n");
568 EFPRINTF(fp, "[0001]\t\tBit Width : 00\n");
569 EFPRINTF(fp, "[0001]\t\tBit Offset : 00\n");
570 EFPRINTF(fp,
572 EFPRINTF(fp, "[0008]\t\tAddress : 00000000FED00000\n");
573 EFPRINTF(fp, "\n");
575 EFPRINTF(fp, "[0001]\t\tSequence Number : 00\n");
576 EFPRINTF(fp, "[0002]\t\tMinimum Clock Ticks : 0000\n");
577 EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000001\n");
578 EFPRINTF(fp, "\t\t\t4K Page Protect : 1\n");
579 EFPRINTF(fp, "\t\t\t64K Page Protect : 0\n");
580 EFPRINTF(fp, "\n");
593 EFPRINTF(fp, "/*\n");
594 EFPRINTF(fp, " * bhyve MCFG template\n");
595 EFPRINTF(fp, " */\n");
596 EFPRINTF(fp, "[0004]\t\tSignature : \"MCFG\"\n");
597 EFPRINTF(fp, "[0004]\t\tTable Length : 00000000\n");
598 EFPRINTF(fp, "[0001]\t\tRevision : 01\n");
599 EFPRINTF(fp, "[0001]\t\tChecksum : 00\n");
600 EFPRINTF(fp, "[0006]\t\tOem ID : \"BHYVE \"\n");
601 EFPRINTF(fp, "[0008]\t\tOem Table ID : \"BVMCFG \"\n");
602 EFPRINTF(fp, "[0004]\t\tOem Revision : 00000001\n");
605 EFPRINTF(fp, "[0004]\t\tAsl Compiler ID : \"xxxx\"\n");
606 EFPRINTF(fp, "[0004]\t\tAsl Compiler Revision : 00000000\n");
607 EFPRINTF(fp, "[0008]\t\tReserved : 0\n");
608 EFPRINTF(fp, "\n");
610 EFPRINTF(fp, "[0008]\t\tBase Address : %016lX\n", pci_ecfg_base());
611 EFPRINTF(fp, "[0002]\t\tSegment Group Number : 0000\n");
612 EFPRINTF(fp, "[0001]\t\tStart Bus Number : 00\n");
613 EFPRINTF(fp, "[0001]\t\tEnd Bus Number : FF\n");
614 EFPRINTF(fp, "[0004]\t\tReserved : 0\n");
624 EFPRINTF(fp, "/*\n");
625 EFPRINTF(fp, " * bhyve FACS template\n");
626 EFPRINTF(fp, " */\n");
627 EFPRINTF(fp, "[0004]\t\tSignature : \"FACS\"\n");
628 EFPRINTF(fp, "[0004]\t\tLength : 00000040\n");
629 EFPRINTF(fp, "[0004]\t\tHardware Signature : 00000000\n");
630 EFPRINTF(fp, "[0004]\t\t32 Firmware Waking Vector : 00000000\n");
631 EFPRINTF(fp, "[0004]\t\tGlobal Lock : 00000000\n");
632 EFPRINTF(fp, "[0004]\t\tFlags (decoded below) : 00000000\n");
633 EFPRINTF(fp, "\t\t\tS4BIOS Support Present : 0\n");
634 EFPRINTF(fp, "\t\t\t64-bit Wake Supported (V2) : 0\n");
635 EFPRINTF(fp,
637 EFPRINTF(fp, "[0001]\t\tVersion : 02\n");
638 EFPRINTF(fp, "[0003]\t\tReserved : 000000\n");
639 EFPRINTF(fp, "[0004]\t\tOspmFlags (decoded below) : 00000000\n");
640 EFPRINTF(fp, "\t\t\t64-bit Wake Env Required (V2) : 0\n");
663 EFPRINTF(dsdt_fp, "%*c", dsdt_indent_level * 2, ' ');
671 EFPRINTF(dsdt_fp, "\n");