Searched refs:vki_caddr_t (Results 1 – 4 of 4) sorted by relevance
68 #define vki_caddr_t caddr_t macro
200 typedef __vki_kernel_caddr_t vki_caddr_t; typedef
2374 vki_caddr_t buf; /* pointer to data */
3848 vki_caddr_t,"addr", int,"data"); in PRE()