Searched refs:vki_isdn_net_ioctl_phone (Results 1 – 2 of 2) sorted by relevance
4068 (Addr)&((vki_isdn_net_ioctl_phone *)ARG3)->name, in PRE()4069 sizeof(((vki_isdn_net_ioctl_phone *)ARG3)->name) ); in PRE()4071 sizeof(vki_isdn_net_ioctl_phone) ); in PRE()5318 POST_MEM_WRITE( ARG3, sizeof(vki_isdn_net_ioctl_phone) ); in POST()
1526 } vki_isdn_net_ioctl_phone; typedef