Searched defs:t_ (Results 1 – 6 of 6) sorted by relevance
21 #define OFFSETOF_MACRO(t_,m_) offsetof(t_,m_) argument22 #define MEMBER_SIZE_MACRO(t_,m_) sizeof(((t_*)0)->m_) argument34 #define MAX_MACRO(t_,a_,b_) (((a_) > (b_)) ? (a_) : (b_)) argument35 #define MIN_MACRO(t_,a_,b_) (((a_) < (b_)) ? (a_) : (b_)) argument
395 uint64_t t_ = scrut.f3; in FStar_UInt128_mul_wide_impl() local
142 T* t_; member in SelfDestruct
541 T t_; member in ConstructFromT
297 int64_t t_; member
1236 #define EVENT(t_, c_) (t_ << 16 | c_) in handle_event_evdev() argument