Searched refs:vki_repository_door_request_t (Results 1 – 2 of 2) sorted by relevance
256 } vki_repository_door_request_t; typedef
8439 vki_repository_door_request_t *p = 8440 (vki_repository_door_request_t *) data_ptr;8446 if (ML_(safe_to_deref)(p, sizeof(vki_repository_door_request_t))) {