Home
last modified time | relevance | path

Searched refs:coreid (Results 1 – 2 of 2) sorted by relevance

/xnu-11215/bsd/sys/
H A Dkdebug_kernel.h214 void kernel_debug_enter(uint32_t coreid, uint32_t debugid, uint64_t timestamp,
/xnu-11215/bsd/kern/
H A Dkdebug.c628 uint32_t coreid, in kernel_debug_enter() argument
650 .cpu = (int32_t)coreid, in kernel_debug_enter()