sched.h File Reference

Xen scheduler operation helpers. More...

#include <xen/public/sched.h>

Go to the source code of this file.

Functions
int	xen_sched_yield (void)
	Yield the current VCPU.
int	xen_sched_block (void)
	Block the current VCPU until an event is available.
int	xen_sched_poll (evtchn_port_t *ports, unsigned int nr_ports, uint64_t timeout)
	Poll event-channel ports until one becomes pending or a timeout expires.
int	xen_sched_shutdown (unsigned int reason)
	Shut down the current domain with the supplied shutdown reason.
int	xen_sched_remote_shutdown (domid_t domid, unsigned int reason)
	Request shutdown of another domain.
int	xen_sched_shutdown_code (unsigned int reason)
	Store a shutdown reason for later domain shutdown reporting.
int	xen_sched_pin_override (int32_t pcpu)
	Override or restore the current VCPU physical CPU pinning.

Detailed Description

Xen scheduler operation helpers.

Function Documentation

xen_sched_block()

int xen_sched_block

(

void

)

Block the current VCPU until an event is available.

Returns

0 on success, negative errno value on failure.

xen_sched_pin_override()

int xen_sched_pin_override

(

int32_t

pcpu

)

Override or restore the current VCPU physical CPU pinning.

Parameters

pcpu	Physical CPU to pin to, or -1 to restore normal pinning behavior.

Returns

0 on success, negative errno value on failure.

xen_sched_poll()

int xen_sched_poll	(	evtchn_port_t *	ports,
		unsigned int	nr_ports,
		uint64_t	timeout )

Poll event-channel ports until one becomes pending or a timeout expires.

Parameters

ports	Event-channel ports to poll.
nr_ports	Number of entries in ports.
timeout	Absolute Xen system time timeout, or 0 to poll without timeout.

Returns

0 on success, negative errno value on failure.

xen_sched_remote_shutdown()

int xen_sched_remote_shutdown	(	domid_t	domid,
		unsigned int	reason )

Request shutdown of another domain.

Parameters

domid	Domain ID to shut down.
reason	SHUTDOWN_* reason code.

Returns

0 on success, negative errno value on failure.

xen_sched_shutdown()

int xen_sched_shutdown

(

unsigned int

reason

)

Shut down the current domain with the supplied shutdown reason.

Parameters

reason

SHUTDOWN_* reason code.

Returns

0 on success, negative errno value on failure.

xen_sched_shutdown_code()

int xen_sched_shutdown_code

(

unsigned int

reason

)

Store a shutdown reason for later domain shutdown reporting.

Parameters

reason

SHUTDOWN_* reason code.

Returns

0 on success, negative errno value on failure.

xen_sched_yield()

int xen_sched_yield

(

void

)

Yield the current VCPU.

Returns

0 on success, negative errno value on failure.