/*	$OpenBSD: cpufunc.h,v 1.1 2020/11/29 12:54:36 kettenis Exp $	*/

/* Public Domain */

#ifndef _MACHINE_CPUFUNC_H_
#define _MACHINE_CPUFUNC_H_

#include <arm/cpufunc.h>

#ifdef _KERNEL

register_t smc_call(register_t, register_t, register_t, register_t);

#endif	/* _KERNEL */

#endif	/* _MACHINE_CPUFUNC_H_ */