Zephyr Project API 4.4.99
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
sysctl.h
Go to the documentation of this file.
1/*
2 * Copyright (c) 2025 EPAM Systems
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
12
13#ifndef __XEN_DOM0_SYSCTL_H__
14#define __XEN_DOM0_SYSCTL_H__
15
16#include <xen/public/xen.h>
17#include <xen/public/sysctl.h>
18
19#include <zephyr/xen/generic.h>
20
26
33
44int xen_sysctl_physinfo(struct xen_sysctl_physinfo *info);
45
55int xen_sysctl_tbuf_op(struct xen_sysctl_tbuf_op *tbuf_op);
56
70int xen_sysctl_getdomaininfo(struct xen_domctl_getdomaininfo *domaininfo,
71 uint16_t first, uint16_t num);
72
82int xen_sysctl_cpu_hotplug(uint32_t cpu, bool enable);
83
85
86#endif /* __XEN_DOM0_SYSCTL_H__ */
generic.h
Internal Xen support helpers.
xen_domctl_getdomaininfo
int xen_domctl_getdomaininfo(int domid, xen_domctl_getdomaininfo_t *dom_info)
Get summary information for a domain.
xen_sysctl_physinfo
int xen_sysctl_physinfo(struct xen_sysctl_physinfo *info)
Query physical host information from Xen.
xen_sysctl_tbuf_op
int xen_sysctl_tbuf_op(struct xen_sysctl_tbuf_op *tbuf_op)
Performs a Xen trace buffer sysctl operation.
xen_sysctl_getdomaininfo
int xen_sysctl_getdomaininfo(struct xen_domctl_getdomaininfo *domaininfo, uint16_t first, uint16_t num)
Retrieves information about Xen domains.
xen_sysctl_cpu_hotplug
int xen_sysctl_cpu_hotplug(uint32_t cpu, bool enable)
Enable/disable physical CPUs.
uint32_t
__UINT32_TYPE__ uint32_t
Definition stdint.h:90
uint16_t
__UINT16_TYPE__ uint16_t
Definition stdint.h:89