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