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