9inline uint32_t __attribute__((
const)) snrt_l1_start_addr();
11inline uint32_t __attribute__((const)) snrt_l1_end_addr();
13inline volatile uint32_t* __attribute__((const)) snrt_clint_mutex_ptr();
15inline volatile uint32_t* __attribute__((const)) snrt_clint_msip_ptr();
17inline volatile uint32_t* __attribute__((const)) snrt_cluster_clint_set_ptr();
19inline volatile uint32_t* __attribute__((const)) snrt_cluster_clint_clr_ptr();