Searched refs:mbox_table (Results 1 – 1 of 1) sorted by relevance
5949 smr_offset_t mbox_table, mbox_domain; in idn_send_master_config() local5973 mbox_table = mbox_domain = IDN_NIL_SMROFFSET; in idn_send_master_config()5974 (void) idn_get_mbox_config(domid, NULL, &mbox_table, in idn_send_master_config()5992 ASSERT(mbox_table != IDN_NIL_SMROFFSET); in idn_send_master_config()5997 mbox_table); in idn_send_master_config()6000 mbox_domain, mbox_table); in idn_send_master_config()