Searched defs:vcpu_num (Results 1 – 3 of 3) sorted by relevance

/devicemodel/core/
A D	vmmapi.c	148 vm_create(const char *name, uint64_t req_buf, int *vcpu_num) in vm_create()
A D	main.c	329 add_cpu(struct vmctx *ctx, int vcpu_num) in add_cpu()
/devicemodel/hw/platform/vssram/
A D	vssram.c	475 int vcpu_num = bitmap_weight(guest_pcpu_bitmask); in init_guest_lapicid_tbl() local

Completed in 10 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025