Searched refs:nmi_high (Results 1 – 1 of 1) sorted by relevance
776 unsigned short nmi_high = 0, nmi_low = 0; in do_boot_cpu() local823 nmi_high = *((volatile unsigned short *) TRAMPOLINE_HIGH); in do_boot_cpu()910 *((volatile unsigned short *) TRAMPOLINE_HIGH) = nmi_high; in do_boot_cpu()