Searched defs:__send_IPI_dest_field (Results 1 - 2 of 2) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/include/asm-x86_64/
H A Dipi.h74 static inline void __send_IPI_dest_field(unsigned int mask, int vector, unsigned int dest) function
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/
H A Dsmp.c85 static inline void __send_IPI_dest_field(unsigned long mask, int vector) function

Completed in 98 milliseconds