Searched refs:state_saver (Results 1 – 1 of 1) sorted by relevance
152 void (*state_saver)(void) = (void (*)(void))state_saverp; in kdi_halt_cpu() local159 res = kdi_xc_one(cpuid, state_saver); in kdi_halt_cpu()