path: root/kernel/smpboot.h

#ifndef SMPBOOT_H
#define SMPBOOT_H

int smpboot_prepare(unsigned int cpu);

#endif