130 dsdt_line(const char *fmt, ...)  in dsdt_line()  function
174 	dsdt_line("IO (Decode16,");  in dsdt_fixed_ioport()
175 	dsdt_line("  0x%04X,             // Range Minimum", iobase);  in dsdt_fixed_ioport()
176 	dsdt_line("  0x%04X,             // Range Maximum", iobase);  in dsdt_fixed_ioport()
177 	dsdt_line("  0x01,               // Alignment");  in dsdt_fixed_ioport()
178 	dsdt_line("  0x%02X,               // Length", length);  in dsdt_fixed_ioport()
179 	dsdt_line("  )");  in dsdt_fixed_ioport()
186 	dsdt_line("IRQNoFlags ()");  in dsdt_fixed_irq()
187 	dsdt_line("  {%d}", irq);  in dsdt_fixed_irq()
194 	dsdt_line("Memory32Fixed (ReadWrite,");  in dsdt_fixed_mem32()
195 	dsdt_line("  0x%08X,         // Address Base", base);  in dsdt_fixed_mem32()
196 	dsdt_line("  0x%08X,         // Address Length", length);  in dsdt_fixed_mem32()
197 	dsdt_line("  )");  in dsdt_fixed_mem32()
207 	dsdt_line("/*");  in basl_fwrite_dsdt()
208 	dsdt_line(" * bhyve DSDT template");  in basl_fwrite_dsdt()
209 	dsdt_line(" */");  in basl_fwrite_dsdt()
210 	dsdt_line("DefinitionBlock (\"bhyve_dsdt.aml\", \"DSDT\", 2,"  in basl_fwrite_dsdt()
212 	dsdt_line("{");  in basl_fwrite_dsdt()
213 	dsdt_line("  Name (_S5, Package ()");  in basl_fwrite_dsdt()
214 	dsdt_line("  {");  in basl_fwrite_dsdt()
215 	dsdt_line("      0x05,");  in basl_fwrite_dsdt()
216 	dsdt_line("      Zero,");  in basl_fwrite_dsdt()
217 	dsdt_line("  })");  in basl_fwrite_dsdt()
221 	dsdt_line("");  in basl_fwrite_dsdt()
222 	dsdt_line("  Scope (_SB.PC00)");  in basl_fwrite_dsdt()
223 	dsdt_line("  {");  in basl_fwrite_dsdt()
224 	dsdt_line("    Device (HPET)");  in basl_fwrite_dsdt()
225 	dsdt_line("    {");  in basl_fwrite_dsdt()
226 	dsdt_line("      Name (_HID, EISAID(\"PNP0103\"))");  in basl_fwrite_dsdt()
227 	dsdt_line("      Name (_UID, 0)");  in basl_fwrite_dsdt()
228 	dsdt_line("      Name (_CRS, ResourceTemplate ()");  in basl_fwrite_dsdt()
229 	dsdt_line("      {");  in basl_fwrite_dsdt()
233 	dsdt_line("      })");  in basl_fwrite_dsdt()
234 	dsdt_line("    }");  in basl_fwrite_dsdt()
235 	dsdt_line("  }");  in basl_fwrite_dsdt()
244 	dsdt_line("}");  in basl_fwrite_dsdt()