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