1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9#include <types.h> 10 11/* read ID register from CPUID */ 12uint32_t read_cpuid_id(void); 13 14/* read MP ID register from CPUID */ 15uint32_t read_cpuid_mpidr(void); 16 17/* check if CPU is in HYP/EL2 mode */ 18word_t is_hyp_mode(void); 19 20/* Pretty print CPUID information */ 21void print_cpuid(void); 22 23/* Returns the Cortex-Ax part number, or -1 */ 24int get_cortex_a_part(void); 25 26