Searched refs:vcpu_id (Results 1 – 9 of 9) sorted by relevance
| /devicemodel/hw/platform/acpi/ |
| A D | acpi_pm.c | 15 static inline int get_vcpu_pm_info(struct vmctx *ctx, int vcpu_id, in get_vcpu_pm_info() argument
19 | ((vcpu_id << PMCMD_VCPUID_SHIFT) & PMCMD_VCPUID_MASK) in get_vcpu_pm_info()
36 uint8_t get_vcpu_cx_cnt(struct vmctx *ctx, int vcpu_id) in get_vcpu_cx_cnt() argument
47 static int get_vcpu_px_data(struct vmctx *ctx, int vcpu_id, in get_vcpu_px_data() argument
59 | ((vcpu_id << PMCMD_VCPUID_SHIFT) & PMCMD_VCPUID_MASK) in get_vcpu_px_data()
76 int get_vcpu_cx_data(struct vmctx *ctx, int vcpu_id, in get_vcpu_cx_data() argument
88 | ((vcpu_id << PMCMD_VCPUID_SHIFT) & PMCMD_VCPUID_MASK) in get_vcpu_cx_data()
144 void dsdt_write_cst(struct vmctx *ctx, int vcpu_id) in dsdt_write_cst() argument
152 vcpu_cx_cnt = get_vcpu_cx_cnt(ctx, vcpu_id); in dsdt_write_cst()
257 static int dsdt_write_pss(struct vmctx *ctx, int vcpu_id) in dsdt_write_pss() argument
[all …]
|
| A D | acpi.c | 276 int pcpuid_from_vcpuid(uint64_t guest_pcpu_bitmask, int vcpu_id) in pcpuid_from_vcpuid() argument
278 return find_nth_set_bit_index(guest_pcpu_bitmask, vcpu_id); in pcpuid_from_vcpuid()
|
| /devicemodel/hw/platform/vssram/ |
| A D | vssram.c | 474 int pcpu_id = 0, vcpu_id = 0; in init_guest_lapicid_tbl() local
477 for (vcpu_id = 0; vcpu_id < vcpu_num; vcpu_id++) { in init_guest_lapicid_tbl()
478 pcpu_id = pcpuid_from_vcpuid(guest_pcpu_bitmask, vcpu_id); in init_guest_lapicid_tbl()
482 guest_lapicid_tbl[vcpu_id] = lapicid_from_pcpuid(pcpu_id); in init_guest_lapicid_tbl()
1390 uint32_t vcpu_id; in parse_vssram_buf_params() local
1447 if (dm_strtoui(s_elem, &endptr, 10, &vcpu_id)) { in parse_vssram_buf_params()
1451 vcpumask |= (1 << vcpu_id); in parse_vssram_buf_params()
|
| /devicemodel/core/ |
| A D | main.c | 814 int vcpu_id; in vm_loop() local
821 for (vcpu_id = 0; vcpu_id < guest_ncpus; vcpu_id++) { in vm_loop()
822 io_req = &ioreq_buf[vcpu_id]; in vm_loop()
825 handle_vmexit(ctx, io_req, vcpu_id); in vm_loop()
|
| A D | sw_load_elf.c | 275 ctx->bsp_regs.vcpu_id = 0; in acrn_sw_load_elf()
|
| A D | sw_load_vsbl.c | 300 ctx->bsp_regs.vcpu_id = 0; in acrn_sw_load_vsbl()
|
| A D | sw_load_bzimage.c | 313 ctx->bsp_regs.vcpu_id = 0; in acrn_sw_load_bzimage()
|
| A D | sw_load_ovmf.c | 302 ctx->bsp_regs.vcpu_id = 0; in acrn_sw_load_ovmf()
|
| /devicemodel/include/ |
| A D | acpi.h | 121 int pcpuid_from_vcpuid(uint64_t guest_pcpu_bitmask, int vcpu_id);
|
Completed in 18 milliseconds