Lines Matching refs:uint16_t
46 static uint16_t phys_cpu_num = 0U;
55 static void set_current_pcpu_id(uint16_t pcpu_id);
57 static uint16_t get_pcpu_id_from_lapic_id(uint32_t lapic_id);
65 uint16_t i; in init_percpu_lapic_id()
82 static void pcpu_set_current_state(uint16_t pcpu_id, enum pcpu_boot_state state) in pcpu_set_current_state()
98 uint16_t get_pcpu_nums(void) in get_pcpu_nums()
103 bool is_pcpu_active(uint16_t pcpu_id) in is_pcpu_active()
141 uint16_t pcpu_id; in init_pcpu_pre()
226 void init_pcpu_post(uint16_t pcpu_id) in init_pcpu_post()
341 static uint16_t get_pcpu_id_from_lapic_id(uint32_t lapic_id) in get_pcpu_id_from_lapic_id()
343 uint16_t i; in get_pcpu_id_from_lapic_id()
344 uint16_t pcpu_id = INVALID_CPU_ID; in get_pcpu_id_from_lapic_id()
356 static void start_pcpu(uint16_t pcpu_id) in start_pcpu()
401 uint16_t i; in start_pcpus()
402 uint16_t pcpu_id = get_pcpu_id(); in start_pcpus()
420 void make_pcpu_offline(uint16_t pcpu_id) in make_pcpu_offline()
428 bool need_offline(uint16_t pcpu_id) in need_offline()
446 uint16_t pcpu_id; in stop_pcpus()
471 uint16_t pcpu_id = get_pcpu_id(); in cpu_do_idle()
498 uint16_t pcpu_id = get_pcpu_id(); in cpu_dead()
522 static void set_current_pcpu_id(uint16_t pcpu_id) in set_current_pcpu_id()
629 void msr_write_pcpu(uint32_t msr_index, uint64_t value64, uint16_t pcpu_id) in msr_write_pcpu()
651 uint64_t msr_read_pcpu(uint32_t msr_index, uint16_t pcpu_id) in msr_read_pcpu()