1*d0b3c59bSPatrick Mooney /*- 2*d0b3c59bSPatrick Mooney * This file is in the public domain. 3*d0b3c59bSPatrick Mooney */ 4*d0b3c59bSPatrick Mooney /* $FreeBSD: head/sys/amd64/include/psl.h 233204 2012-03-19 21:29:57Z tijl $ */ 5*d0b3c59bSPatrick Mooney 6*d0b3c59bSPatrick Mooney #include <x86/psl.h> 7