Searched defs:tblcnt (Results 1 – 3 of 3) sorted by relevance
41 mach_msg_type_number_t tblcnt = 0, treecnt = 0; variable
112 mach_msg_type_number_t tblcnt = 0, treecnt = 0; in attempt_kernel_inspection() local
285 int tblcnt __attribute__((aligned(8))); member