path: root/src/cpu/x86/sipi_header.c

#include <rmodule.h>


extern void *ap_start;

DEFINE_RMODULE_HEADER(sipi_vector_header, ap_start, RMODULE_TYPE_SIPI_VECTOR);