LINUX_EFI_ARM_CPU_STATE_TABLE_GUID
{LINUX_EFI_ARM_CPU_STATE_TABLE_GUID, &cpu_state_table},
static efi_guid_t cpu_state_guid = LINUX_EFI_ARM_CPU_STATE_TABLE_GUID;