Searched refs:kcc_is64bit (Results 1 – 1 of 1) sorted by relevance
117 boolean_t kcc_is64bit; /* Processor bitness */ member207 core_helper->kcc_is64bit = is64bit; in kern_register_coredump_helper_internal()853 context.core_is64bit = current_core->kcc_is64bit; in kern_coredump_routine()