/*
 * Copyright (c) 2021 BayLibre SAS
 *
 * SPDX-License-Identifier: Apache-2.0
 */

/**
 * @file
 * @brief tpidrro_el0 bits allocation
 *
 * Among other things, the tpidrro_el0 holds the address for the current
 * CPU's struct _cpu instance. But such a pointer is at least 8-bytes
 * aligned, and the address space is 48 bits max. That leaves plenty of
 * free bits for other purposes.
 */

#ifndef ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_
#define ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_

#define TPIDRROEL0_IN_EL0	0x0000000000000001

#define TPIDRROEL0_CURR_CPU	0x0000fffffffffff8

#define TPIDRROEL0_EXC_DEPTH	0xff00000000000000
#define TPIDRROEL0_EXC_UNIT	0x0100000000000000
#define TPIDRROEL0_EXC_SHIFT	56

#endif /* ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_ */