static void do_acpitable_option(const char *optarg)

{

    if (acpi_table_add(optarg) < 0) {

        fprintf(stderr, "Wrong acpi table provided\n");

        exit(1);

    }

}

static void do_acpitable_option(const char *optarg)

{

    if (acpi_table_add(optarg) < 0) {

        fprintf(stderr, "Wrong acpi table provided\n");

        exit(1);

    }

}

static void FUNC_0(const char *VAR_0)

{

    if (acpi_table_add(VAR_0) < 0) {

        fprintf(stderr, "Wrong acpi table provided\n");

        exit(1);

    }

}

static void FUNC_0(const char *VAR_0)
{ if (acpi_table_add(VAR_0) < 0) { fprintf(stderr, "Wrong acpi table provided\n"); exit(1); } }