Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/arch/x86/xen/
H A Denlighten.c127 xen_vcpu_info_reset(cpu); in xen_vcpu_setup_restore()
187 void xen_vcpu_info_reset(int cpu) in xen_vcpu_info_reset() function
254 xen_vcpu_info_reset(cpu); in xen_vcpu_setup()
H A Denlighten_hvm.c84 xen_vcpu_info_reset(0); in xen_hvm_init_mem_mapping()
208 xen_vcpu_info_reset(0); in xen_hvm_guest_init()
H A Dxen-ops.h81 void xen_vcpu_info_reset(int cpu);
H A Dsmp.c144 xen_vcpu_info_reset(cpu); in xen_smp_cpus_done()
H A Denlighten_pv.c132 xen_vcpu_info_reset(0); in xen_pv_init_platform()
1241 xen_vcpu_info_reset(0); in xen_start_kernel()