if (RSDP->revision < 2) { 
/* RSDT pointers are 32 bits, XSDT pointers are 64 bits */  if (acpi_gbl_root_table_type == ACPI_TABLE_TYPE_RSDT) { 
acpi_tb_get_table_count (	struct rsdp_descriptor          *RSDP,	struct acpi_table_header        *RSDT){	u32                             pointer_size;	ACPI_FUNCTION_ENTRY ();	if (RSDP->revision < 2) {		pointer_size = sizeof (u32);	}	else {		pointer_size = sizeof (u64);	}	/*	 * Determine the number of tables pointed to by the RSDT/XSDT.	 * This is defined by the ACPI Specification to be the number of	 * pointers contained within the RSDT/XSDT.  The size of the pointers	 * is architecture-dependent.	 */	return ((RSDT->length - sizeof (struct acpi_table_header)) / pointer_size);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/73459f73e5d1602c59ebec114fc45185521353c1/tbconvrt.c/buggy/drivers/acpi/tables/tbconvrt.c