K 10 svn:author V 6 philip K 8 svn:date V 27 2004-11-13T01:49:22.000000Z K 7 svn:log V 105 Two uint32_t casts crept in where they shouldn't have. ACPI_TYPE_INTEGER can be 64 bits wide in acpi v2. END