Searched refs:get_pcpu_nums (Results 1 – 7 of 7) sorted by relevance
20 if ((pcpu_id >= get_pcpu_nums()) || (sbuf_id >= ACRN_SBUF_PER_PCPU_ID_MAX)) { in sbuf_share_setup()35 for (pcpu_id = 0U; pcpu_id < get_pcpu_nums(); pcpu_id++) { in sbuf_reset()
116 hw_info.cpu_num = get_pcpu_nums(); in hcall_get_hw_info()
721 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_start_pmu()763 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_stop_pmu()810 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_msr_ops_all_cpus()843 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_vm_list_info()966 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_set_control()1076 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_configure_pmi()1151 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_configure_vmsw()1236 uint16_t pcpu_nums = get_pcpu_nums(); in profiling_get_status_info()
103 pcpu_nums = get_pcpu_nums(); in npk_log_setup()
1157 uint16_t pcpu_nums = get_pcpu_nums(); in get_cpu_interrupt_info()1567 if (pcpu_id < get_pcpu_nums()) { in shell_rdmsr()1609 if (pcpu_id < get_pcpu_nums()) { in shell_wrmsr()
204 #define ALL_CPUS_MASK ((1UL << get_pcpu_nums()) - 1UL)814 uint16_t get_pcpu_nums(void);
98 uint16_t get_pcpu_nums(void) in get_pcpu_nums() function
Completed in 14 milliseconds