Home
last modified time | relevance | path

Searched refs:xen_vcpu_info_reset (Results 1 – 5 of 5) sorted by relevance

/arch/x86/xen/
Denlighten.c128 xen_vcpu_info_reset(cpu); in xen_vcpu_setup_restore()
188 void xen_vcpu_info_reset(int cpu) in xen_vcpu_info_reset() function
255 xen_vcpu_info_reset(cpu); in xen_vcpu_setup()
Denlighten_hvm.c82 xen_vcpu_info_reset(0); in xen_hvm_init_mem_mapping()
193 xen_vcpu_info_reset(0); in xen_hvm_guest_init()
Dxen-ops.h82 void xen_vcpu_info_reset(int cpu);
Dsmp.c141 xen_vcpu_info_reset(cpu); in xen_smp_cpus_done()
Denlighten_pv.c138 xen_vcpu_info_reset(0); in xen_pv_init_platform()
1213 xen_vcpu_info_reset(0); in xen_start_kernel()