Lines Matching refs:uint32_t
16 uint32_t lo_32;
17 uint32_t hi_32;
20 uint32_t vector:8;
21 uint32_t delivery_mode:3;
22 uint32_t destination_mode:1;
23 uint32_t rsvd_1:2;
24 uint32_t level:1;
25 uint32_t trigger_mode:1;
26 uint32_t rsvd_2:2;
27 uint32_t shorthand:2;
28 uint32_t rsvd_3:12;
29 uint32_t dest_field:32;
70 uint32_t get_cur_lapic_id(void);
105 void send_dest_ipi_mask(uint32_t dest_mask, uint32_t vector);
113 void send_single_ipi(uint16_t pcpu_id, uint32_t vector);