17#ifndef __DRIVER_CPU_H__
18#define __DRIVER_CPU_H__
22#include <core/workers.h>
23#include <common/config.h>
25#pragma GCC visibility push(hidden)
27void _starpu_cpu_preinit(
void);
32void _starpu_cpu_busy_cpu(
unsigned num);
36#pragma GCC visibility pop
Definition: workers.h:441
Definition: workers.h:352