ACPI_ADR_SPACE_IPMI,
        ACPI_ADR_SPACE_GPIO,
        ACPI_ADR_SPACE_GSBUS,
+       ACPI_ADR_SPACE_PLATFORM_COMM,
+       ACPI_ADR_SPACE_PLATFORM_RT,
        ACPI_ADR_SPACE_DATA_TABLE,
        ACPI_ADR_SPACE_FIXED_HARDWARE
 };
 
        "IPMI",                 /* 0x07 */
        "GeneralPurposeIo",     /* 0x08 */
        "GenericSerialBus",     /* 0x09 */
-       "PCC"                   /* 0x0A */
+       "PCC",                  /* 0x0A */
+       "PlatformRtMechanism"   /* 0x0B */
 };
 
 const char *acpi_ut_get_region_name(u8 space_id)
 
 #define ACPI_ADR_SPACE_GPIO             (acpi_adr_space_type) 8
 #define ACPI_ADR_SPACE_GSBUS            (acpi_adr_space_type) 9
 #define ACPI_ADR_SPACE_PLATFORM_COMM    (acpi_adr_space_type) 10
+#define ACPI_ADR_SPACE_PLATFORM_RT      (acpi_adr_space_type) 11
 
-#define ACPI_NUM_PREDEFINED_REGIONS     11
+#define ACPI_NUM_PREDEFINED_REGIONS     12
 
 /*
  * Special Address Spaces