Searched refs:xen_vcpu_info_reset (Results 1 – 4 of 4) sorted by relevance
100 xen_vcpu_info_reset(cpu); in xen_vcpu_setup_restore()146 void xen_vcpu_info_reset(int cpu) in xen_vcpu_info_reset() function
91 xen_vcpu_info_reset(0); in xen_hvm_init_mem_mapping()227 xen_vcpu_info_reset(0); in xen_hvm_guest_init()
80 void xen_vcpu_info_reset(int cpu);
134 xen_vcpu_info_reset(0); in xen_pv_init_platform()1266 xen_vcpu_info_reset(0); in xen_start_kernel()