mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-18 10:35:55 +00:00
7 lines
84 B
C
7 lines
84 B
C
/*-
|
|
* This file is in the public domain.
|
|
*/
|
|
/* $FreeBSD$ */
|
|
|
|
#include <x86/psl.h>
|