basl_table_create
BASL_EXEC(basl_table_create(&table, ctx, name, BASL_TABLE_ALIGNMENT));
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_FACS,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_FADT,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_HPET,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_MADT,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_MCFG,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_RSDP_NAME,
BASL_EXEC(basl_table_create(&table, ctx, ACPI_SIG_SPCR,
basl_table_create(&rsdt, ctx, ACPI_SIG_RSDT, BASL_TABLE_ALIGNMENT));
basl_table_create(&xsdt, ctx, ACPI_SIG_XSDT, BASL_TABLE_ALIGNMENT));
int basl_table_create(struct basl_table **table, struct vmctx *ctx,
BASL_EXEC(basl_table_create(&table, vm_ctx, ACPI_SIG_TPM2,