Searched refs:xen_vcpu_info_reset (Results 1 – 5 of 5) sorted by relevance
126 xen_vcpu_info_reset(cpu); in xen_vcpu_setup_restore()186 void xen_vcpu_info_reset(int cpu) in xen_vcpu_info_reset() function253 xen_vcpu_info_reset(cpu); in xen_vcpu_setup()
80 xen_vcpu_info_reset(0); in xen_hvm_init_mem_mapping()191 xen_vcpu_info_reset(0); in xen_hvm_guest_init()
82 void xen_vcpu_info_reset(int cpu);
141 xen_vcpu_info_reset(cpu); in xen_smp_cpus_done()
131 xen_vcpu_info_reset(0); in xen_pv_init_platform()1220 xen_vcpu_info_reset(0); in xen_start_kernel()