Searched refs:kKernel64_p (Results 1 – 2 of 2) sorted by relevance
238 kKernel64_p = 0x2 /* The kernel uses 64 bit pointers */ enumerator
2987 cur_thread_snap->ths_ss_flags |= kKernel64_p; in kcdata_record_thread_snapshot()3653 system_state_flags |= kKernel64_p; in kdp_stackshot_kcdata_format()