/* dmar_table_detect - checks to see if the platform supports DMAR devices  */
static int __init dmar_table_detect(void)
/* dmar_table_detect - checks to see if the platform supports DMAR devices  */
static int __init dmar_table_detect(void)
{
	acpi_status status = AE_OK;
	status = acpi_get_table_with_size(ACPI_SIG_DMAR, 0,
				(struct acpi_table_header **)&dmar_tbl,
				&dmar_tbl_size);
	if (ACPI_SUCCESS(status) && !dmar_tbl) {
		printk (KERN_WARNING PREFIX "Unable to map DMAR\n");
		status = AE_NOT_FOUND;
	}
	return (ACPI_SUCCESS(status) ? 1 : 0);
}