static void test_acpi_q35_tcg_cphp(void)

{

    test_data data;



    memset(&data, 0, sizeof(data));

    data.machine = MACHINE_Q35;

    data.variant = ".cphp";

    test_acpi_one(" -smp 2,cores=3,sockets=2,maxcpus=6",

                  &data);

    free_test_data(&data);

}

static void test_acpi_q35_tcg_cphp(void)

{

    test_data data;



    memset(&data, 0, sizeof(data));

    data.machine = MACHINE_Q35;

    data.variant = ".cphp";

    test_acpi_one(" -smp 2,cores=3,sockets=2,maxcpus=6",

                  &data);

    free_test_data(&data);

}

    test_acpi_one(" -smp 2,cores=3,sockets=2,maxcpus=6",
static void FUNC_0(void)

{

    test_data data;



    memset(&data, 0, sizeof(data));

    data.machine = MACHINE_Q35;

    data.variant = ".cphp";

    test_acpi_one(" -smp 2,cores=3,sockets=2,maxcpus=6",

                  &data);

    free_test_data(&data);

}

static void FUNC_0(void)
{ test_data data; memset(&data, 0, sizeof(data)); data.machine = MACHINE_Q35; data.variant = ".cphp"; test_acpi_one(" -smp 2,cores=3,sockets=2,maxcpus=6",
&data); free_test_data(&data); }