/* Public domain. */

#ifndef _ASM_SMP_H
#define _ASM_SMP_H

#if defined(__i386__) || defined(__amd64__)
#include <machine/cpu.h>        /* for wbinvd_on_all_cpus() */
#endif

#endif