Lines Matching refs:paravirt_ops
678 paravirt_ops.opname = (void *)rel->eip; \
680 paravirt_ops.opname = (void *)vmi_nop; \
700 paravirt_ops.opname = wrapper; \
720 paravirt_ops.paravirt_enabled = 1;
721 paravirt_ops.kernel_rpl = kernel_cs & SEGMENT_RPL_MASK;
723 paravirt_ops.patch = vmi_patch;
724 paravirt_ops.name = "vmi";
764 /* paravirt_ops.read_msr = vmi_rdmsr */
765 /* paravirt_ops.write_msr = vmi_wrmsr */
766 /* paravirt_ops.rdpmc = vmi_rdpmc */
779 paravirt_ops.load_tls = vmi_load_tls;
807 paravirt_ops.set_pte = vmi_set_pte;
808 paravirt_ops.set_pte_at = vmi_set_pte_at;
809 paravirt_ops.set_pmd = vmi_set_pmd;
811 paravirt_ops.set_pte_atomic = vmi_set_pte_atomic;
812 paravirt_ops.set_pte_present = vmi_set_pte_present;
813 paravirt_ops.set_pud = vmi_set_pud;
814 paravirt_ops.pte_clear = vmi_pte_clear;
815 paravirt_ops.pmd_clear = vmi_pmd_clear;
820 paravirt_ops.pte_update = vmi_update_pte;
821 paravirt_ops.pte_update_defer = vmi_update_pte_defer;
826 paravirt_ops.alloc_pt = vmi_allocate_pt;
827 paravirt_ops.alloc_pd = vmi_allocate_pd;
828 paravirt_ops.alloc_pd_clone = vmi_allocate_pd_clone;
833 paravirt_ops.release_pt = vmi_release_pt;
834 paravirt_ops.release_pd = vmi_release_pd;
841 paravirt_ops.kmap_atomic_pte = vmi_kmap_atomic_pte;
851 paravirt_ops.irq_enable_sysexit = (void *)0xfeedbab0;
852 paravirt_ops.iret = (void *)0xbadbab0;
879 paravirt_ops.time_init = vmi_time_init;
880 paravirt_ops.get_wallclock = vmi_get_wallclock;
881 paravirt_ops.set_wallclock = vmi_set_wallclock;
883 paravirt_ops.setup_boot_clock = vmi_time_bsp_init;
884 paravirt_ops.setup_secondary_clock = vmi_time_ap_init;
886 paravirt_ops.get_scheduled_cycles = vmi_get_sched_cycles;
887 paravirt_ops.get_cpu_khz = vmi_cpu_khz;