Line data    Source code

       1            1 : /*
       2              :  * Copyright (c) 2017 Intel Corporation
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : 
       7              : /**
       8              :  * @file
       9              :  * @brief Per-arch thread definition
      10              :  *
      11              :  * This file contains definitions for
      12              :  *
      13              :  *  struct _thread_arch
      14              :  *  struct _callee_saved
      15              :  *
      16              :  * necessary to instantiate instances of struct k_thread.
      17              :  */
      18              : 
      19              : #ifndef ZEPHYR_INCLUDE_ARCH_RISCV_THREAD_H_
      20              : #define ZEPHYR_INCLUDE_ARCH_RISCV_THREAD_H_
      21              : 
      22              : #ifndef _ASMLANGUAGE
      23              : #include <zephyr/types.h>
      24              : 
      25              : /*
      26              :  * The following structure defines the list of registers that need to be
      27              :  * saved/restored when a context switch occurs.
      28              :  */
      29              : struct _callee_saved {
      30              :         unsigned long sp;       /* Stack pointer, (x2 register) */
      31              :         unsigned long ra;       /* return address */
      32              : 
      33              :         unsigned long s0;       /* saved register/frame pointer */
      34              :         unsigned long s1;       /* saved register */
      35              : #if !defined(CONFIG_RISCV_ISA_RV32E)
      36              :         unsigned long s2;       /* saved register */
      37              :         unsigned long s3;       /* saved register */
      38              :         unsigned long s4;       /* saved register */
      39              :         unsigned long s5;       /* saved register */
      40              :         unsigned long s6;       /* saved register */
      41              :         unsigned long s7;       /* saved register */
      42              :         unsigned long s8;       /* saved register */
      43              :         unsigned long s9;       /* saved register */
      44              :         unsigned long s10;      /* saved register */
      45              :         unsigned long s11;      /* saved register */
      46              : #endif
      47              : };
      48              : typedef struct _callee_saved _callee_saved_t;
      49              : 
      50              : #if !defined(RV_FP_TYPE)
      51              : #ifdef CONFIG_CPU_HAS_FPU_DOUBLE_PRECISION
      52              : #define RV_FP_TYPE uint64_t
      53              : #else
      54            0 : #define RV_FP_TYPE uint32_t
      55              : #endif
      56              : #endif
      57              : 
      58              : struct z_riscv_fp_context {
      59              :         RV_FP_TYPE fa0, fa1, fa2, fa3, fa4, fa5, fa6, fa7;
      60              :         RV_FP_TYPE ft0, ft1, ft2, ft3, ft4, ft5, ft6, ft7, ft8, ft9, ft10, ft11;
      61              :         RV_FP_TYPE fs0, fs1, fs2, fs3, fs4, fs5, fs6, fs7, fs8, fs9, fs10, fs11;
      62              :         uint32_t fcsr;
      63              : };
      64              : typedef struct z_riscv_fp_context z_riscv_fp_context_t;
      65              : 
      66            0 : #define PMP_M_MODE_SLOTS 8      /* 8 is plenty enough for m-mode */
      67              : 
      68              : struct _thread_arch {
      69              : #ifdef CONFIG_FPU_SHARING
      70              :         struct z_riscv_fp_context saved_fp_context;
      71              :         bool fpu_recently_used;
      72              :         uint8_t exception_depth;
      73              : #endif
      74              : #ifdef CONFIG_USERSPACE
      75              :         unsigned long priv_stack_start;
      76              :         unsigned long u_mode_pmpaddr_regs[CONFIG_PMP_SLOTS];
      77              :         unsigned long u_mode_pmpcfg_regs[CONFIG_PMP_SLOTS / sizeof(unsigned long)];
      78              :         unsigned int u_mode_pmp_domain_offset;
      79              :         unsigned int u_mode_pmp_end_index;
      80              :         unsigned int u_mode_pmp_update_nr;
      81              : #endif
      82              : #ifdef CONFIG_PMP_STACK_GUARD
      83              :         unsigned int m_mode_pmp_end_index;
      84              :         unsigned long m_mode_pmpaddr_regs[PMP_M_MODE_SLOTS];
      85              :         unsigned long m_mode_pmpcfg_regs[PMP_M_MODE_SLOTS / sizeof(unsigned long)];
      86              : #endif
      87              : };
      88              : 
      89              : typedef struct _thread_arch _thread_arch_t;
      90              : 
      91              : #endif /* _ASMLANGUAGE */
      92              : 
      93              : #endif /* ZEPHYR_INCLUDE_ARCH_RISCV_THREAD_H_ */