Searched refs:vki_hci_dev_list_req (Results 1 – 2 of 2) sorted by relevance
7084 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3; in PRE()7086 (Addr)ARG3, sizeof(struct vki_hci_dev_list_req)); in PRE()7088 (Addr)ARG3 + sizeof(struct vki_hci_dev_list_req), in PRE()9551 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3; in POST()9552 POST_MEM_WRITE((Addr)ARG3 + sizeof(struct vki_hci_dev_list_req), in POST()
3093 struct vki_hci_dev_list_req { struct