@@ -1,3 +1,6 @@
/* Copyright holders: Sarah Walker
see COPYING for more details
*/
void nmi_init();
void nmi_write(uint16_t port, uint8_t val, void *p);
extern int nmi_mask;
The note is not visible to the blocked user.