Lines Matching refs:xsdt
820 struct acpi_table_xsdt *xsdt; in pvh_setup_acpi_xsdt() local
823 unsigned long size = sizeof(*xsdt); in pvh_setup_acpi_xsdt()
849 size += num_tables * sizeof(xsdt->table_offset_entry[0]); in pvh_setup_acpi_xsdt()
851 xsdt = xzalloc_bytes(size); in pvh_setup_acpi_xsdt()
852 if ( !xsdt ) in pvh_setup_acpi_xsdt()
876 xsdt->header = *table; in pvh_setup_acpi_xsdt()
880 xsdt->table_offset_entry[0] = madt_addr; in pvh_setup_acpi_xsdt()
888 xsdt->table_offset_entry[j++] = in pvh_setup_acpi_xsdt()
892 xsdt->header.revision = 1; in pvh_setup_acpi_xsdt()
893 xsdt->header.length = size; in pvh_setup_acpi_xsdt()
898 xsdt->header.checksum -= acpi_tb_checksum(ACPI_CAST_PTR(u8, xsdt), size); in pvh_setup_acpi_xsdt()
912 rc = hvm_copy_to_guest_phys(*addr, xsdt, size, d->vcpu[0]); in pvh_setup_acpi_xsdt()
922 xfree(xsdt); in pvh_setup_acpi_xsdt()