#ifndef _KERNEL_SSE_H
#define _KERNEL_SSE_H

void sse_enable (void);

#endif // _KERNEL_SSE_H