From owner-freebsd-current@FreeBSD.ORG  Tue Jun  2 06:50:14 2009
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 199A81065670
	for <freebsd-current@freebsd.org>; Tue,  2 Jun 2009 06:50:14 +0000 (UTC)
	(envelope-from freebsd.work@gmail.com)
Received: from mail-gx0-f211.google.com (mail-gx0-f211.google.com
	[209.85.217.211])
	by mx1.freebsd.org (Postfix) with ESMTP id CE9D78FC19
	for <freebsd-current@freebsd.org>; Tue,  2 Jun 2009 06:50:13 +0000 (UTC)
	(envelope-from freebsd.work@gmail.com)
Received: by gxk7 with SMTP id 7so843072gxk.19
	for <freebsd-current@freebsd.org>; Mon, 01 Jun 2009 23:50:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:mime-version:received:date:message-id:subject
	:from:to:content-type;
	bh=dJiFAoIY1B4vD2foQ2WNd9iDm9dK7xBG4ZYIHh/PFpU=;
	b=fqhMfi/2ivnnkAENiHMMr+6wBe7vDCWKIithXEbU83DAiGKJ5uWQ6Q7irLWVEaNB47
	LN3V/pUCVwdCpcwMiLiD4cHxc0TMMosDenFg2HJ0d8hXe9PiUGy59WD516mP9mY2+o2d
	fQ7A01m5hvOuRcJoTDv+6TJNbaXgbxDY2g70w=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=mime-version:date:message-id:subject:from:to:content-type;
	b=SYkIzYsveAw7YZKPqtobOpfDVOYS+2jk8EZC3AbSCuFEnF9B4hUJ9FsEFilWzaCT2P
	s82SuijzYXUXYruM6INUF7+fQjnICrKSRKJ78JhQRtN5BkGpgDrrUgQuIeQuZG5ZelHa
	bZc08i1jmVJ9hVWu+MzBfrsE5xkOUBnNejFu8=
MIME-Version: 1.0
Received: by 10.231.14.3 with SMTP id e3mr1870560iba.13.1243925412894; Mon, 01 
	Jun 2009 23:50:12 -0700 (PDT)
Date: Mon, 1 Jun 2009 23:50:12 -0700
Message-ID: <45d874490906012350u11026416tf94f3cc44def2f37@mail.gmail.com>
From: "Sean P. Dew" <freebsd.work@gmail.com>
To: freebsd-current@freebsd.org
X-Mailman-Approved-At: Tue, 02 Jun 2009 11:13:15 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Content-Filtered-By: Mailman/MimeDel 2.1.5
Subject: VMX in kernel
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>, 
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 02 Jun 2009 06:50:14 -0000

Is there any header file/example code for making VMX calls from the FreeBSD
kernel? Does the compiler support any directives?

Thanks