Searched refs:vki_hci_dev_list_req (Results 1 – 2 of 2) sorted by relevance
7048 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3; in PRE()7050 (Addr)ARG3, sizeof(struct vki_hci_dev_list_req)); in PRE()7052 (Addr)ARG3 + sizeof(struct vki_hci_dev_list_req), in PRE()9488 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3; in POST()9489 POST_MEM_WRITE((Addr)ARG3 + sizeof(struct vki_hci_dev_list_req), in POST()
3093 struct vki_hci_dev_list_req { struct