/*
 * This file and its contents are supplied under the terms of the
 * Common Development and Distribution License ("CDDL"), version 1.0.
 * You may only use this file in accordance with the terms of version
 * 1.0 of the CDDL.
 *
 * A full copy of the text of the CDDL should have accompanied this
 * source.  A copy of the CDDL is also available via the Internet at
 * http://www.illumos.org/license/CDDL.
 */

/*
 * Copyright 2013 Pluribus Networks Inc.
 */

#ifndef _COMPAT_FREEBSD_AMD64_MACHINE_MD_VAR_H_
#define	_COMPAT_FREEBSD_AMD64_MACHINE_MD_VAR_H_

extern  u_int   cpu_high;		/* Highest arg to CPUID */
extern	u_int	cpu_exthigh;		/* Highest arg to extended CPUID */
extern	u_int	cpu_id;			/* Stepping ID */
extern	char	cpu_vendor[];		/* CPU Origin code */

#include <sys/systm.h>

#define	Maxmem	(physmax + 1)

#endif	/* _COMPAT_FREEBSD_AMD64_MACHINE_MD_VAR_H_ */