index : iCE40/yosys	master
	clone of https://github.com/YosysHQ/yosys

aboutsummaryrefslogtreecommitdiffstats

log msg author committer range

path: root/tests/verilog/param_no_default_unbound_3.ys

	Commit message (Expand)	Author	Age	Files	Lines
*	sv: support for parameters without default values	Zachary Snow	2021-03-02	1	-0/+12

generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 19:40:33 +0000

#ifndef __XEN_DOMAIN_H__
#define __XEN_DOMAIN_H__

extern int boot_vcpu(
    struct domain *d, int vcpuid, struct vcpu_guest_context *ctxt);

/*
 * Arch-specifics.
 */

struct vcpu *alloc_vcpu_struct(struct domain *d, unsigned int vcpu_id);

extern void free_vcpu_struct(struct vcpu *v);

extern int arch_domain_create(struct domain *d);

extern void arch_domain_destroy(struct domain *d);

extern int arch_set_info_guest(
    struct vcpu *v, struct vcpu_guest_context *c);

extern void domain_relinquish_resources(struct domain *d);

extern void dump_pageframe_info(struct domain *d);

extern void arch_dump_domain_info(struct domain *d);

#endif /* __XEN_DOMAIN_H__ */