14Srgrimes/*- 2233204Stijl * This file is in the public domain. 34Srgrimes */ 4233204Stijl/* $FreeBSD: releng/10.3/sys/i386/include/psl.h 233204 2012-03-19 21:29:57Z tijl $ */ 54Srgrimes 6233204Stijl#include <x86/psl.h> 7