55     aml_append(dev, aml_name_decl("_HID", aml_string("QEMUVGID")));  in vmgenid_build_acpi()
56     aml_append(dev, aml_name_decl("_CID", aml_string("VM_Gen_Counter")));  in vmgenid_build_acpi()
57     aml_append(dev, aml_name_decl("_DDN", aml_string("VM_Gen_Counter")));  in vmgenid_build_acpi()
62     aml_append(method, aml_store(aml_int(0xf), addr));  in vmgenid_build_acpi()
64     aml_append(if_ctx, aml_store(aml_int(0), addr));  in vmgenid_build_acpi()
65     aml_append(method, if_ctx);  in vmgenid_build_acpi()
66     aml_append(method, aml_return(addr));  in vmgenid_build_acpi()
67     aml_append(dev, method);  in vmgenid_build_acpi()
76     aml_append(method, aml_store(aml_package(2), addr));  in vmgenid_build_acpi()
78     aml_append(method, aml_store(aml_add(aml_name("VGIA"),  in vmgenid_build_acpi()
81     aml_append(method, aml_store(aml_int(0), aml_index(addr, aml_int(1))));  in vmgenid_build_acpi()
82     aml_append(method, aml_return(addr));  in vmgenid_build_acpi()
84     aml_append(dev, method);  in vmgenid_build_acpi()
85     aml_append(scope, dev);  in vmgenid_build_acpi()
86     aml_append(ssdt, scope);  in vmgenid_build_acpi()
90     aml_append(method, aml_notify(aml_name("\\_SB.VGEN"), aml_int(0x80)));  in vmgenid_build_acpi()
91     aml_append(ssdt, method);  in vmgenid_build_acpi()