Line data    Source code

       1           1 : /*
       2             :  * Copyright (c) 2021 BayLibre SAS
       3             :  *
       4             :  * SPDX-License-Identifier: Apache-2.0
       5             :  */
       6             : 
       7             : /**
       8             :  * @file
       9             :  * @brief tpidrro_el0 bits allocation
      10             :  *
      11             :  * Among other things, the tpidrro_el0 holds the address for the current
      12             :  * CPU's struct _cpu instance. But such a pointer is at least 8-bytes
      13             :  * aligned, and the address space is 48 bits max. That leaves plenty of
      14             :  * free bits for other purposes.
      15             :  */
      16             : 
      17             : #ifndef ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_
      18             : #define ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_
      19             : 
      20           0 : #define TPIDRROEL0_IN_EL0       0x0000000000000001
      21             : 
      22           0 : #define TPIDRROEL0_CURR_CPU     0x0000fffffffffff8
      23             : 
      24           0 : #define TPIDRROEL0_EXC_DEPTH    0xff00000000000000
      25           0 : #define TPIDRROEL0_EXC_UNIT     0x0100000000000000
      26           0 : #define TPIDRROEL0_EXC_SHIFT    56
      27             : 
      28             : #endif /* ZEPHYR_INCLUDE_ARCH_ARM64_TPIDRRO_EL0_H_ */