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