Contents

PE_cpu_signal_deferred

Declaration

void PE_cpu_signal_deferred(cpu_id_t source, cpu_id_t target);

See Also

CPU