6383 	idn_mainmbox_t	*mmp;  in idn_recv_config()  local
7521 	idn_mainmbox_t	*mmp;  in idn_verify_config_mbox()  local
10022 	idn_mainmbox_t	*mmp;  in idn_mainmbox_init()  local
10053 	idn_mainmbox_t	*mmp;  in idn_mainmbox_reset()  local
10076 idn_mainmbox_deinit(int domid, idn_mainmbox_t *mmp)  in idn_mainmbox_deinit()
10284 idn_mainmbox_flush(int domid, idn_mainmbox_t *mmp)  in idn_mainmbox_flush()
10567 #define	CHANSVR_SYNC_CACHE(csp, mmp, chan) \  argument
10603 	idn_mainmbox_t			**mmp;  in idn_chan_server()  local
10605 	idn_mainmbox_t			*mmp[MAX_DOMAINS];  in idn_chan_server()  local
11469 	idn_mainmbox_t	*mmp;  in idn_send_mboxdata()  local
11729 	idn_mainmbox_t	*mmp;  in idn_reclaim_mboxdata()  local
11956 	idn_mainmbox_t	*mmp;  in idn_signal_data_server()  local