psm_add_nmintr
if (!psm_add_nmintr(0, apic_nmi_intr,
if (!psm_add_nmintr(0, (avfunc) apic_nmi_intr,
extern int psm_add_nmintr(int, avfunc, char *, caddr_t);
if (!psm_add_nmintr(0, xen_psm_nmi_intr,