Searched defs:x86cpu (Results 1 – 2 of 2) sorted by relevance
241 X86CPU *x86cpu = X86_CPU(cs); in hvf_put_registers() local285 X86CPU *x86cpu = X86_CPU(cs); in hvf_get_registers() local345 X86CPU *x86cpu = X86_CPU(cs); in hvf_inject_interrupts() local
233 X86CPU *x86cpu = X86_CPU(cpu); in hvf_arch_init_vcpu() local