Searched refs:kKernel64_p (Results 1 – 3 of 3) sorted by relevance
254 kKernel64_p = 0x2 /* The kernel uses 64 bit pointers */ enumerator
632 .ss_flags = kKernel64_p, in _telemetry_kernel_snapshot()657 .ss_flags = kKernel64_p, in _telemetry_kernel_snapshot()
4642 cur_thread_snap->ths_ss_flags |= kKernel64_p; in kcdata_record_thread_snapshot()5296 system_state_flags |= kKernel64_p; in kdp_stackshot_kcdata_format()