Searched refs:vki_getcpu_cache (Results 1 – 2 of 2) sorted by relevance
2983 struct vki_getcpu_cache { struct
3494 unsigned *, cpu, unsigned *, node, struct vki_getcpu_cache *, tcache); in PRE()3500 PRE_MEM_WRITE( "getcpu(tcache)", ARG3, sizeof(struct vki_getcpu_cache) ); in PRE()3510 POST_MEM_WRITE( ARG3, sizeof(struct vki_getcpu_cache) ); in POST()