| /* | |
| * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| * | |
| * SPDX-License-Identifier: GPL-2.0-only | |
| */ | |
| #pragma once | |
| #include <types.h> | |
| /* read ID register from CPUID */ | |
| uint32_t read_cpuid_id(void); | |
| /* read MP ID register from CPUID */ | |
| uint32_t read_cpuid_mpidr(void); | |
| /* check if CPU is in HYP/EL2 mode */ | |
| word_t is_hyp_mode(void); | |
| /* Pretty print CPUID information */ | |
| void print_cpuid(void); | |
| /* Returns the Cortex-Ax part number, or -1 */ | |
| int get_cortex_a_part(void); | |