Searched refs:vmark (Results 1 – 1 of 1) sorted by relevance
3012 struct value *vmark = value_mark (); in info_port_rights() local3038 value_free_to_mark (vmark); in info_port_rights()