Searched refs:vki_isdn_net_ioctl_phone (Results 1 – 2 of 2) sorted by relevance
5702 (Addr)&((vki_isdn_net_ioctl_phone *)ARG3)->name, in PRE()5703 sizeof(((vki_isdn_net_ioctl_phone *)ARG3)->name) ); in PRE()5705 sizeof(vki_isdn_net_ioctl_phone) ); in PRE()8559 POST_MEM_WRITE( ARG3, sizeof(vki_isdn_net_ioctl_phone) ); in POST()
1632 } vki_isdn_net_ioctl_phone; typedef