nmi_handler_t
nmi_handler_t *nmi_establish(int (*)(const struct trapframe *, void *), void *);
void nmi_disestablish(nmi_handler_t *);
nmi_handler_t *n;
nmi_handler_t **pp;
static nmi_handler_t *nmi_handlers; /* list of handlers */
nmi_handler_t *
nmi_disestablish(nmi_handler_t *handle)
static nmi_handler_t *amd_nmi_handle;
static nmi_handler_t *intel_nmi_handle;