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 Dsmpboot.c774 unsigned short nmi_high = 0, nmi_low = 0; local
818 store_NMI_vector(&nmi_high, &nmi_low);

Completed in 39 milliseconds