Searched refs:vki_repository_door_response_t (Results 1 – 2 of 2) sorted by relevance
372 } vki_repository_door_response_t; typedef
9089 POST_FIELD_WRITE(((vki_repository_door_response_t *) rbuf)->rdr_status);