9inline uint32_t __attribute__((
const)) snrt_hartid();
10inline uint32_t __attribute__((const)) snrt_cluster_num();
11inline uint32_t __attribute__((const)) snrt_cluster_core_num();
12inline uint32_t __attribute__((const)) snrt_global_core_base_hartid();
13inline uint32_t __attribute__((const)) snrt_global_core_num();
14inline uint32_t __attribute__((const)) snrt_global_core_idx();
15inline uint32_t __attribute__((const)) snrt_cluster_idx();
16inline uint32_t __attribute__((const)) snrt_cluster_core_idx();
17inline uint32_t __attribute__((const)) snrt_cluster_dm_core_num();
18inline uint32_t __attribute__((const)) snrt_cluster_compute_core_num();
19inline
int __attribute__((const)) snrt_is_compute_core();
20inline
int __attribute__((const)) snrt_is_dm_core();