Lines Matching refs:dest
243 int short_hand, uint32_t dest, bool_t dest_mode) in vlapic_match_dest() argument
247 target, source, dest, dest_mode, short_hand); in vlapic_match_dest()
253 return vlapic_match_logical_addr(target, dest); in vlapic_match_dest()
254 return (dest == _VLAPIC_ID(target, 0xffffffff)) || in vlapic_match_dest()
255 (dest == VLAPIC_ID(target)); in vlapic_match_dest()
320 uint32_t dest = vcpu_vlapic(origin)->init_sipi.dest; in vlapic_init_sipi_action() local
331 short_hand, dest, dest_mode) ) in vlapic_init_sipi_action()
388 int short_hand, uint32_t dest, bool_t dest_mode) in vlapic_lowest_prio() argument
401 if ( vlapic_match_dest(vlapic, source, short_hand, dest, dest_mode) && in vlapic_lowest_prio()
444 uint32_t dest, bool_t dest_mode) in is_multicast_dest() argument
453 return dest_mode ? hweight16(dest) > 1 : dest == 0xffffffff; in is_multicast_dest()
456 return hweight8(dest & in is_multicast_dest()
460 return dest == 0xff; in is_multicast_dest()
466 unsigned int dest; in vlapic_ipi() local
472 dest = _VLAPIC_ID(vlapic, icr_high); in vlapic_ipi()
485 vlapic->init_sipi.dest = dest; in vlapic_ipi()
491 vlapic_domain(vlapic), vlapic, short_hand, dest, dest_mode); in vlapic_ipi()
509 bool_t batch = is_multicast_dest(vlapic, short_hand, dest, dest_mode); in vlapic_ipi()
516 short_hand, dest, dest_mode) ) in vlapic_ipi()