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