Searched refs:vki_repository_door_request_t (Results 1 – 2 of 2) sorted by relevance
369 } vki_repository_door_request_t; typedef
8969 vki_repository_door_request_t *p = 8970 (vki_repository_door_request_t *) data_ptr;8976 if (ML_(safe_to_deref)(p, sizeof(vki_repository_door_request_t))) {