xref: /titanic_51/usr/src/boot/sys/amd64/include/psl.h (revision 4a5d661a82b942b6538acd26209d959ce98b593a)
1*4a5d661aSToomas Soome /*-
2*4a5d661aSToomas Soome  * This file is in the public domain.
3*4a5d661aSToomas Soome  */
4*4a5d661aSToomas Soome /* $FreeBSD$ */
5*4a5d661aSToomas Soome 
6*4a5d661aSToomas Soome #include <x86/psl.h>
7