1 #ifndef __CPU_OPS_COMMON_H__
2 #define __CPU_OPS_COMMON_H__
3 
4 #include <rthw.h>
5 #include <rtthread.h>
6 #include <mmu.h>
7 #include "entry_point.h"
8 
get_secondary_entry_pa(void)9 static inline rt_uint64_t get_secondary_entry_pa(void)
10 {
11     rt_uint64_t secondary_entry_pa = (rt_uint64_t)rt_kmem_v2p(_secondary_cpu_entry);
12 
13     if (!secondary_entry_pa)
14     {
15         LOG_E("Failed to translate 'secondary_entry_pa' to physical address");
16         return 0;
17     }
18     return secondary_entry_pa;
19 }
20 
21 #endif /* __CPU_OPS_COMMON_H__ */