Zephyr Project API 4.4.99
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
sched.h
Go to the documentation of this file.
1/*
2 * SPDX-FileCopyrightText: Copyright (c) 2026 EPAM Systems
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
12
13#ifndef ZEPHYR_INCLUDE_XEN_SCHED_H_
14#define ZEPHYR_INCLUDE_XEN_SCHED_H_
15
16#include <xen/public/sched.h>
17
23int xen_sched_yield(void);
24
30int xen_sched_block(void);
31
40int xen_sched_poll(evtchn_port_t *ports, unsigned int nr_ports, uint64_t timeout);
41
48int xen_sched_shutdown(unsigned int reason);
49
57int xen_sched_remote_shutdown(domid_t domid, unsigned int reason);
58
65int xen_sched_shutdown_code(unsigned int reason);
66
73int xen_sched_pin_override(int32_t pcpu);
74
75#endif /* ZEPHYR_INCLUDE_XEN_SCHED_H_ */
int32_t
__INT32_TYPE__ int32_t
Definition stdint.h:74
uint64_t
__UINT64_TYPE__ uint64_t
Definition stdint.h:91
xen_sched_remote_shutdown
int xen_sched_remote_shutdown(domid_t domid, unsigned int reason)
Request shutdown of another domain.
xen_sched_shutdown
int xen_sched_shutdown(unsigned int reason)
Shut down the current domain with the supplied shutdown reason.
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.
xen_sched_pin_override
int xen_sched_pin_override(int32_t pcpu)
Override or restore the current VCPU physical CPU pinning.
xen_sched_yield
int xen_sched_yield(void)
Yield the current VCPU.
xen_sched_block
int xen_sched_block(void)
Block the current VCPU until an event is available.
xen_sched_shutdown_code
int xen_sched_shutdown_code(unsigned int reason)
Store a shutdown reason for later domain shutdown reporting.