/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License (the "License").
 * You may not use this file except in compliance with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */

/*
 * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

/
/ Inline functions for the x86 kernel running on the hypervisor
/

	.inline	__hypercall0, 4
	movl	(%esp), %eax
	int	$0x82
	.end

	.inline	__hypercall1, 8
	pushl	%ebx
	movl	4(%esp), %eax
	movl	8(%esp), %ebx
	int	$0x82
	popl	%ebx
	.end

	.inline	__hypercall2, 12
	pushl	%ebx
	movl	4(%esp), %eax
	movl	8(%esp), %ebx
	movl	12(%esp), %ecx
	int	$0x82
	popl	%ebx
	.end

	.inline	__hypercall3, 16
	pushl	%ebx
	movl	4(%esp), %eax
	movl	8(%esp), %ebx
	movl	12(%esp), %ecx
	movl	16(%esp), %edx
	int	$0x82
	popl	%ebx
	.end

	.inline	__hypercall4, 20
	pushl	%ebx
	pushl	%esi
	movl	8(%esp), %eax
	movl	12(%esp), %ebx
	movl	16(%esp), %ecx
	movl	20(%esp), %edx
	movl	24(%esp), %esi
	int	$0x82
	popl	%esi
	popl	%ebx
	.end

	.inline	__hypercall5, 24
	pushl	%ebx
	pushl	%esi
	pushl	%edi
	movl	12(%esp), %eax
	movl	16(%esp), %ebx
	movl	20(%esp), %ecx
	movl	24(%esp), %edx
	movl	28(%esp), %esi
	movl	32(%esp), %edi
	int	$0x82
	popl	%edi
	popl	%esi
	popl	%ebx
	.end

/*
 * Read the -real- TSC.
 * This is difficult to virtualize on the hypervisor given there is
 * no way to prevent preemption; thus this inline function
 * should only be used in the middle of the paravirtualized
 * implementation of tsc_read.
 */
	.inline	__rdtsc_insn, 0
	rdtsc
	.end

/*
 * prefetch 64 bytes
 *
 * prefetch is an SSE extension which is not supported on older 32-bit processors
 * so define this as a no-op for now
 */

 	.inline	prefetch_read_many, 4
/	movl  (%esp), %eax
/	prefetcht0	(%eax)
/	prefetcht0	32(%eax)
	.end

 	.inline	prefetch_read_once, 4
/	movl  (%esp), %eax
/	prefetchnta	(%eax)
/	prefetchnta	32(%eax)
	.end

 	.inline	prefetch_write_many, 4
/	movl  (%esp), %eax
/	prefetcht0	(%eax)
/	prefetcht0	32(%eax)
	.end

 	.inline	prefetch_write_once, 4
/	movl  (%esp), %eax
/	prefetcht0	(%eax)
/	prefetcht0	32(%eax)
	.end