Searched refs:nmi_high (Results 1 - 1 of 1) sorted by relevance
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/i386/kernel/ | ||
H A D | smpboot.c | 774 unsigned short nmi_high = 0, nmi_low = 0; local 818 store_NMI_vector(&nmi_high, &nmi_low); |
Completed in 39 milliseconds