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