Commit | Line | Data |
---|---|---|
d3561b7f RR |
1 | /* Paravirtualization interfaces |
2 | Copyright (C) 2006 Rusty Russell IBM Corporation | |
3 | ||
4 | This program is free software; you can redistribute it and/or modify | |
5 | it under the terms of the GNU General Public License as published by | |
6 | the Free Software Foundation; either version 2 of the License, or | |
7 | (at your option) any later version. | |
8 | ||
9 | This program is distributed in the hope that it will be useful, | |
10 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | GNU General Public License for more details. | |
13 | ||
14 | You should have received a copy of the GNU General Public License | |
15 | along with this program; if not, write to the Free Software | |
16 | Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA | |
b1df07bd GOC |
17 | |
18 | 2007 - x86_64 support added by Glauber de Oliveira Costa, Red Hat Inc | |
d3561b7f | 19 | */ |
b1df07bd | 20 | |
d3561b7f | 21 | #include <linux/errno.h> |
186f4360 PG |
22 | #include <linux/init.h> |
23 | #include <linux/export.h> | |
d3561b7f RR |
24 | #include <linux/efi.h> |
25 | #include <linux/bcd.h> | |
ce6234b5 | 26 | #include <linux/highmem.h> |
376e2424 | 27 | #include <linux/kprobes.h> |
d3561b7f RR |
28 | |
29 | #include <asm/bug.h> | |
30 | #include <asm/paravirt.h> | |
50af5ead | 31 | #include <asm/debugreg.h> |
d3561b7f RR |
32 | #include <asm/desc.h> |
33 | #include <asm/setup.h> | |
a312b37b | 34 | #include <asm/pgtable.h> |
d3561b7f | 35 | #include <asm/time.h> |
eba0045f | 36 | #include <asm/pgalloc.h> |
d3561b7f RR |
37 | #include <asm/irq.h> |
38 | #include <asm/delay.h> | |
13623d79 RR |
39 | #include <asm/fixmap.h> |
40 | #include <asm/apic.h> | |
da181a8b | 41 | #include <asm/tlbflush.h> |
6cb9a835 | 42 | #include <asm/timer.h> |
f05e798a | 43 | #include <asm/special_insns.h> |
d3561b7f | 44 | |
fc57a7c6 AL |
45 | /* |
46 | * nop stub, which must not clobber anything *including the stack* to | |
47 | * avoid confusing the entry prologues. | |
48 | */ | |
49 | extern void _paravirt_nop(void); | |
50 | asm (".pushsection .entry.text, \"ax\"\n" | |
51 | ".global _paravirt_nop\n" | |
52 | "_paravirt_nop:\n\t" | |
53 | "ret\n\t" | |
54 | ".size _paravirt_nop, . - _paravirt_nop\n\t" | |
55 | ".type _paravirt_nop, @function\n\t" | |
56 | ".popsection"); | |
d3561b7f | 57 | |
41edafdb | 58 | /* identity function, which can be inlined */ |
15301a57 | 59 | u32 notrace _paravirt_ident_32(u32 x) |
41edafdb JF |
60 | { |
61 | return x; | |
62 | } | |
63 | ||
15301a57 | 64 | u64 notrace _paravirt_ident_64(u64 x) |
41edafdb JF |
65 | { |
66 | return x; | |
67 | } | |
68 | ||
6f30c1ac | 69 | void __init default_banner(void) |
d3561b7f RR |
70 | { |
71 | printk(KERN_INFO "Booting paravirtualized kernel on %s\n", | |
93b1eab3 | 72 | pv_info.name); |
d3561b7f RR |
73 | } |
74 | ||
93b1eab3 JF |
75 | /* Undefined instruction for dealing with missing ops pointers. */ |
76 | static const unsigned char ud2a[] = { 0x0f, 0x0b }; | |
139ec7c4 | 77 | |
19d36ccd AK |
78 | struct branch { |
79 | unsigned char opcode; | |
80 | u32 delta; | |
81 | } __attribute__((packed)); | |
82 | ||
ab144f5e AK |
83 | unsigned paravirt_patch_call(void *insnbuf, |
84 | const void *target, u16 tgt_clobbers, | |
85 | unsigned long addr, u16 site_clobbers, | |
63f70270 JF |
86 | unsigned len) |
87 | { | |
ab144f5e AK |
88 | struct branch *b = insnbuf; |
89 | unsigned long delta = (unsigned long)target - (addr+5); | |
63f70270 JF |
90 | |
91 | if (tgt_clobbers & ~site_clobbers) | |
92 | return len; /* target would clobber too much for this site */ | |
93 | if (len < 5) | |
94 | return len; /* call too long for patch site */ | |
139ec7c4 | 95 | |
ab144f5e AK |
96 | b->opcode = 0xe8; /* call */ |
97 | b->delta = delta; | |
98 | BUILD_BUG_ON(sizeof(*b) != 5); | |
139ec7c4 | 99 | |
63f70270 JF |
100 | return 5; |
101 | } | |
102 | ||
93b1eab3 | 103 | unsigned paravirt_patch_jmp(void *insnbuf, const void *target, |
ab144f5e | 104 | unsigned long addr, unsigned len) |
63f70270 | 105 | { |
ab144f5e AK |
106 | struct branch *b = insnbuf; |
107 | unsigned long delta = (unsigned long)target - (addr+5); | |
63f70270 JF |
108 | |
109 | if (len < 5) | |
110 | return len; /* call too long for patch site */ | |
111 | ||
ab144f5e AK |
112 | b->opcode = 0xe9; /* jmp */ |
113 | b->delta = delta; | |
63f70270 JF |
114 | |
115 | return 5; | |
116 | } | |
117 | ||
93b1eab3 JF |
118 | /* Neat trick to map patch type back to the call within the |
119 | * corresponding structure. */ | |
120 | static void *get_call_destination(u8 type) | |
121 | { | |
122 | struct paravirt_patch_template tmpl = { | |
123 | .pv_init_ops = pv_init_ops, | |
93b1eab3 JF |
124 | .pv_time_ops = pv_time_ops, |
125 | .pv_cpu_ops = pv_cpu_ops, | |
126 | .pv_irq_ops = pv_irq_ops, | |
93b1eab3 | 127 | .pv_mmu_ops = pv_mmu_ops, |
b4ecc126 | 128 | #ifdef CONFIG_PARAVIRT_SPINLOCKS |
74d4affd | 129 | .pv_lock_ops = pv_lock_ops, |
b4ecc126 | 130 | #endif |
93b1eab3 JF |
131 | }; |
132 | return *((void **)&tmpl + type); | |
133 | } | |
134 | ||
ab144f5e AK |
135 | unsigned paravirt_patch_default(u8 type, u16 clobbers, void *insnbuf, |
136 | unsigned long addr, unsigned len) | |
63f70270 | 137 | { |
93b1eab3 | 138 | void *opfunc = get_call_destination(type); |
63f70270 JF |
139 | unsigned ret; |
140 | ||
141 | if (opfunc == NULL) | |
142 | /* If there's no function, patch it with a ud2a (BUG) */ | |
93b1eab3 | 143 | ret = paravirt_patch_insns(insnbuf, len, ud2a, ud2a+sizeof(ud2a)); |
41edafdb | 144 | else if (opfunc == _paravirt_nop) |
79f1d836 | 145 | ret = 0; |
41edafdb JF |
146 | |
147 | /* identity functions just return their single argument */ | |
148 | else if (opfunc == _paravirt_ident_32) | |
149 | ret = paravirt_patch_ident_32(insnbuf, len); | |
150 | else if (opfunc == _paravirt_ident_64) | |
151 | ret = paravirt_patch_ident_64(insnbuf, len); | |
152 | ||
93b1eab3 | 153 | else if (type == PARAVIRT_PATCH(pv_cpu_ops.iret) || |
2be29982 | 154 | type == PARAVIRT_PATCH(pv_cpu_ops.usergs_sysret64)) |
63f70270 | 155 | /* If operation requires a jmp, then jmp */ |
93b1eab3 | 156 | ret = paravirt_patch_jmp(insnbuf, opfunc, addr, len); |
63f70270 JF |
157 | else |
158 | /* Otherwise call the function; assume target could | |
159 | clobber any caller-save reg */ | |
ab144f5e AK |
160 | ret = paravirt_patch_call(insnbuf, opfunc, CLBR_ANY, |
161 | addr, clobbers, len); | |
63f70270 JF |
162 | |
163 | return ret; | |
164 | } | |
165 | ||
ab144f5e | 166 | unsigned paravirt_patch_insns(void *insnbuf, unsigned len, |
63f70270 JF |
167 | const char *start, const char *end) |
168 | { | |
169 | unsigned insn_len = end - start; | |
139ec7c4 | 170 | |
63f70270 JF |
171 | if (insn_len > len || start == NULL) |
172 | insn_len = len; | |
173 | else | |
ab144f5e | 174 | memcpy(insnbuf, start, insn_len); |
139ec7c4 | 175 | |
139ec7c4 RR |
176 | return insn_len; |
177 | } | |
178 | ||
1a1eecd1 | 179 | static void native_flush_tlb(void) |
da181a8b RR |
180 | { |
181 | __native_flush_tlb(); | |
182 | } | |
183 | ||
184 | /* | |
185 | * Global pages have to be flushed a bit differently. Not a real | |
186 | * performance problem because this does not happen often. | |
187 | */ | |
1a1eecd1 | 188 | static void native_flush_tlb_global(void) |
da181a8b RR |
189 | { |
190 | __native_flush_tlb_global(); | |
191 | } | |
192 | ||
63f70270 | 193 | static void native_flush_tlb_single(unsigned long addr) |
da181a8b RR |
194 | { |
195 | __native_flush_tlb_single(addr); | |
196 | } | |
197 | ||
c5905afb IM |
198 | struct static_key paravirt_steal_enabled; |
199 | struct static_key paravirt_steal_rq_enabled; | |
3c404b57 GC |
200 | |
201 | static u64 native_steal_clock(int cpu) | |
202 | { | |
203 | return 0; | |
204 | } | |
205 | ||
d3561b7f | 206 | /* These are in entry.S */ |
1a1eecd1 | 207 | extern void native_iret(void); |
2be29982 | 208 | extern void native_usergs_sysret64(void); |
d3561b7f | 209 | |
d572929c JF |
210 | static struct resource reserve_ioports = { |
211 | .start = 0, | |
212 | .end = IO_SPACE_LIMIT, | |
213 | .name = "paravirt-ioport", | |
214 | .flags = IORESOURCE_IO | IORESOURCE_BUSY, | |
215 | }; | |
216 | ||
d572929c JF |
217 | /* |
218 | * Reserve the whole legacy IO space to prevent any legacy drivers | |
219 | * from wasting time probing for their hardware. This is a fairly | |
220 | * brute-force approach to disabling all non-virtual drivers. | |
221 | * | |
222 | * Note that this must be called very early to have any effect. | |
223 | */ | |
224 | int paravirt_disable_iospace(void) | |
225 | { | |
f7743fe6 | 226 | return request_resource(&ioport_resource, &reserve_ioports); |
d572929c JF |
227 | } |
228 | ||
8965c1c0 JF |
229 | static DEFINE_PER_CPU(enum paravirt_lazy_mode, paravirt_lazy_mode) = PARAVIRT_LAZY_NONE; |
230 | ||
231 | static inline void enter_lazy(enum paravirt_lazy_mode mode) | |
232 | { | |
c6ae41e7 | 233 | BUG_ON(this_cpu_read(paravirt_lazy_mode) != PARAVIRT_LAZY_NONE); |
8965c1c0 | 234 | |
c6ae41e7 | 235 | this_cpu_write(paravirt_lazy_mode, mode); |
8965c1c0 JF |
236 | } |
237 | ||
b407fc57 | 238 | static void leave_lazy(enum paravirt_lazy_mode mode) |
8965c1c0 | 239 | { |
c6ae41e7 | 240 | BUG_ON(this_cpu_read(paravirt_lazy_mode) != mode); |
8965c1c0 | 241 | |
c6ae41e7 | 242 | this_cpu_write(paravirt_lazy_mode, PARAVIRT_LAZY_NONE); |
8965c1c0 JF |
243 | } |
244 | ||
245 | void paravirt_enter_lazy_mmu(void) | |
246 | { | |
247 | enter_lazy(PARAVIRT_LAZY_MMU); | |
248 | } | |
249 | ||
250 | void paravirt_leave_lazy_mmu(void) | |
251 | { | |
b407fc57 | 252 | leave_lazy(PARAVIRT_LAZY_MMU); |
8965c1c0 JF |
253 | } |
254 | ||
511ba86e BO |
255 | void paravirt_flush_lazy_mmu(void) |
256 | { | |
257 | preempt_disable(); | |
258 | ||
259 | if (paravirt_get_lazy_mode() == PARAVIRT_LAZY_MMU) { | |
260 | arch_leave_lazy_mmu_mode(); | |
261 | arch_enter_lazy_mmu_mode(); | |
262 | } | |
263 | ||
264 | preempt_enable(); | |
265 | } | |
266 | ||
224101ed | 267 | void paravirt_start_context_switch(struct task_struct *prev) |
8965c1c0 | 268 | { |
2829b449 JF |
269 | BUG_ON(preemptible()); |
270 | ||
c6ae41e7 | 271 | if (this_cpu_read(paravirt_lazy_mode) == PARAVIRT_LAZY_MMU) { |
b407fc57 | 272 | arch_leave_lazy_mmu_mode(); |
224101ed | 273 | set_ti_thread_flag(task_thread_info(prev), TIF_LAZY_MMU_UPDATES); |
b407fc57 | 274 | } |
8965c1c0 JF |
275 | enter_lazy(PARAVIRT_LAZY_CPU); |
276 | } | |
277 | ||
224101ed | 278 | void paravirt_end_context_switch(struct task_struct *next) |
8965c1c0 | 279 | { |
2829b449 JF |
280 | BUG_ON(preemptible()); |
281 | ||
b407fc57 JF |
282 | leave_lazy(PARAVIRT_LAZY_CPU); |
283 | ||
224101ed | 284 | if (test_and_clear_ti_thread_flag(task_thread_info(next), TIF_LAZY_MMU_UPDATES)) |
b407fc57 | 285 | arch_enter_lazy_mmu_mode(); |
8965c1c0 JF |
286 | } |
287 | ||
288 | enum paravirt_lazy_mode paravirt_get_lazy_mode(void) | |
289 | { | |
b8bcfe99 JF |
290 | if (in_interrupt()) |
291 | return PARAVIRT_LAZY_NONE; | |
292 | ||
c6ae41e7 | 293 | return this_cpu_read(paravirt_lazy_mode); |
8965c1c0 JF |
294 | } |
295 | ||
93b1eab3 | 296 | struct pv_info pv_info = { |
d3561b7f | 297 | .name = "bare hardware", |
d3561b7f | 298 | .kernel_rpl = 0, |
5311ab62 | 299 | .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */ |
318f5a2a AL |
300 | |
301 | #ifdef CONFIG_X86_64 | |
302 | .extra_user_64bit_cs = __USER_CS, | |
303 | #endif | |
93b1eab3 | 304 | }; |
d3561b7f | 305 | |
93b1eab3 JF |
306 | struct pv_init_ops pv_init_ops = { |
307 | .patch = native_patch, | |
93b1eab3 JF |
308 | }; |
309 | ||
310 | struct pv_time_ops pv_time_ops = { | |
93b1eab3 | 311 | .sched_clock = native_sched_clock, |
3c404b57 | 312 | .steal_clock = native_steal_clock, |
93b1eab3 JF |
313 | }; |
314 | ||
9a55fdbe | 315 | __visible struct pv_irq_ops pv_irq_ops = { |
ecb93d1c JF |
316 | .save_fl = __PV_IS_CALLEE_SAVE(native_save_fl), |
317 | .restore_fl = __PV_IS_CALLEE_SAVE(native_restore_fl), | |
318 | .irq_disable = __PV_IS_CALLEE_SAVE(native_irq_disable), | |
319 | .irq_enable = __PV_IS_CALLEE_SAVE(native_irq_enable), | |
93b1eab3 JF |
320 | .safe_halt = native_safe_halt, |
321 | .halt = native_halt, | |
322 | }; | |
d3561b7f | 323 | |
9a55fdbe | 324 | __visible struct pv_cpu_ops pv_cpu_ops = { |
d3561b7f RR |
325 | .cpuid = native_cpuid, |
326 | .get_debugreg = native_get_debugreg, | |
327 | .set_debugreg = native_set_debugreg, | |
d3561b7f RR |
328 | .read_cr0 = native_read_cr0, |
329 | .write_cr0 = native_write_cr0, | |
d3561b7f | 330 | .write_cr4 = native_write_cr4, |
88b4755f GOC |
331 | #ifdef CONFIG_X86_64 |
332 | .read_cr8 = native_read_cr8, | |
333 | .write_cr8 = native_write_cr8, | |
334 | #endif | |
d3561b7f | 335 | .wbinvd = native_wbinvd, |
dd2f4a00 AL |
336 | .read_msr = native_read_msr, |
337 | .write_msr = native_write_msr, | |
c2ee03b2 AL |
338 | .read_msr_safe = native_read_msr_safe, |
339 | .write_msr_safe = native_write_msr_safe, | |
d3561b7f RR |
340 | .read_pmc = native_read_pmc, |
341 | .load_tr_desc = native_load_tr_desc, | |
342 | .set_ldt = native_set_ldt, | |
343 | .load_gdt = native_load_gdt, | |
344 | .load_idt = native_load_idt, | |
d3561b7f RR |
345 | .store_tr = native_store_tr, |
346 | .load_tls = native_load_tls, | |
9f9d489a JF |
347 | #ifdef CONFIG_X86_64 |
348 | .load_gs_index = native_load_gs_index, | |
349 | #endif | |
75b8bb3e | 350 | .write_ldt_entry = native_write_ldt_entry, |
014b15be | 351 | .write_gdt_entry = native_write_gdt_entry, |
8d947344 | 352 | .write_idt_entry = native_write_idt_entry, |
38ffbe66 JF |
353 | |
354 | .alloc_ldt = paravirt_nop, | |
355 | .free_ldt = paravirt_nop, | |
356 | ||
faca6227 | 357 | .load_sp0 = native_load_sp0, |
d3561b7f | 358 | |
2be29982 | 359 | #ifdef CONFIG_X86_64 |
2be29982 | 360 | .usergs_sysret64 = native_usergs_sysret64, |
d75cd22f | 361 | #endif |
93b1eab3 | 362 | .iret = native_iret, |
e801f864 | 363 | .swapgs = native_swapgs, |
93b1eab3 | 364 | |
d3561b7f RR |
365 | .set_iopl_mask = native_set_iopl_mask, |
366 | .io_delay = native_io_delay, | |
8965c1c0 | 367 | |
224101ed JF |
368 | .start_context_switch = paravirt_nop, |
369 | .end_context_switch = paravirt_nop, | |
93b1eab3 | 370 | }; |
d3561b7f | 371 | |
80271972 | 372 | /* At this point, native_get/set_debugreg has real function entries */ |
376e2424 | 373 | NOKPROBE_SYMBOL(native_get_debugreg); |
80271972 MH |
374 | NOKPROBE_SYMBOL(native_set_debugreg); |
375 | NOKPROBE_SYMBOL(native_load_idt); | |
376e2424 | 376 | |
41edafdb JF |
377 | #if defined(CONFIG_X86_32) && !defined(CONFIG_X86_PAE) |
378 | /* 32-bit pagetable entries */ | |
da5de7c2 | 379 | #define PTE_IDENT __PV_IS_CALLEE_SAVE(_paravirt_ident_32) |
41edafdb JF |
380 | #else |
381 | /* 64-bit pagetable entries */ | |
da5de7c2 | 382 | #define PTE_IDENT __PV_IS_CALLEE_SAVE(_paravirt_ident_64) |
41edafdb JF |
383 | #endif |
384 | ||
404f6aac | 385 | struct pv_mmu_ops pv_mmu_ops __ro_after_init = { |
b239fb25 | 386 | |
93b1eab3 JF |
387 | .read_cr2 = native_read_cr2, |
388 | .write_cr2 = native_write_cr2, | |
6c690ee1 | 389 | .read_cr3 = __native_read_cr3, |
93b1eab3 JF |
390 | .write_cr3 = native_write_cr3, |
391 | ||
da181a8b RR |
392 | .flush_tlb_user = native_flush_tlb, |
393 | .flush_tlb_kernel = native_flush_tlb_global, | |
394 | .flush_tlb_single = native_flush_tlb_single, | |
d4c10477 | 395 | .flush_tlb_others = native_flush_tlb_others, |
da181a8b | 396 | |
eba0045f JF |
397 | .pgd_alloc = __paravirt_pgd_alloc, |
398 | .pgd_free = paravirt_nop, | |
399 | ||
6944a9c8 JF |
400 | .alloc_pte = paravirt_nop, |
401 | .alloc_pmd = paravirt_nop, | |
2761fa09 | 402 | .alloc_pud = paravirt_nop, |
335437fb | 403 | .alloc_p4d = paravirt_nop, |
6944a9c8 JF |
404 | .release_pte = paravirt_nop, |
405 | .release_pmd = paravirt_nop, | |
2761fa09 | 406 | .release_pud = paravirt_nop, |
335437fb | 407 | .release_p4d = paravirt_nop, |
c119ecce | 408 | |
da181a8b RR |
409 | .set_pte = native_set_pte, |
410 | .set_pte_at = native_set_pte_at, | |
411 | .set_pmd = native_set_pmd, | |
3dc494e8 | 412 | |
08b882c6 JF |
413 | .ptep_modify_prot_start = __ptep_modify_prot_start, |
414 | .ptep_modify_prot_commit = __ptep_modify_prot_commit, | |
415 | ||
98233368 | 416 | #if CONFIG_PGTABLE_LEVELS >= 3 |
da181a8b RR |
417 | #ifdef CONFIG_X86_PAE |
418 | .set_pte_atomic = native_set_pte_atomic, | |
da181a8b RR |
419 | .pte_clear = native_pte_clear, |
420 | .pmd_clear = native_pmd_clear, | |
f95f2f7b EH |
421 | #endif |
422 | .set_pud = native_set_pud, | |
da5de7c2 JF |
423 | |
424 | .pmd_val = PTE_IDENT, | |
425 | .make_pmd = PTE_IDENT, | |
f95f2f7b | 426 | |
f2a6a705 | 427 | #if CONFIG_PGTABLE_LEVELS >= 4 |
da5de7c2 JF |
428 | .pud_val = PTE_IDENT, |
429 | .make_pud = PTE_IDENT, | |
430 | ||
f2a6a705 KS |
431 | .set_p4d = native_set_p4d, |
432 | ||
433 | #if CONFIG_PGTABLE_LEVELS >= 5 | |
335437fb KS |
434 | .p4d_val = PTE_IDENT, |
435 | .make_p4d = PTE_IDENT, | |
436 | ||
437 | .set_pgd = native_set_pgd, | |
438 | #endif /* CONFIG_PGTABLE_LEVELS >= 5 */ | |
f2a6a705 | 439 | #endif /* CONFIG_PGTABLE_LEVELS >= 4 */ |
98233368 | 440 | #endif /* CONFIG_PGTABLE_LEVELS >= 3 */ |
da181a8b | 441 | |
da5de7c2 JF |
442 | .pte_val = PTE_IDENT, |
443 | .pgd_val = PTE_IDENT, | |
3dc494e8 | 444 | |
da5de7c2 JF |
445 | .make_pte = PTE_IDENT, |
446 | .make_pgd = PTE_IDENT, | |
3dc494e8 | 447 | |
d6dd61c8 JF |
448 | .dup_mmap = paravirt_nop, |
449 | .exit_mmap = paravirt_nop, | |
450 | .activate_mm = paravirt_nop, | |
8965c1c0 JF |
451 | |
452 | .lazy_mode = { | |
453 | .enter = paravirt_nop, | |
454 | .leave = paravirt_nop, | |
511ba86e | 455 | .flush = paravirt_nop, |
8965c1c0 | 456 | }, |
aeaaa59c JF |
457 | |
458 | .set_fixmap = native_set_fixmap, | |
d3561b7f | 459 | }; |
0dbe5a11 | 460 | |
93b1eab3 | 461 | EXPORT_SYMBOL_GPL(pv_time_ops); |
f97b8954 JF |
462 | EXPORT_SYMBOL (pv_cpu_ops); |
463 | EXPORT_SYMBOL (pv_mmu_ops); | |
93b1eab3 JF |
464 | EXPORT_SYMBOL_GPL(pv_info); |
465 | EXPORT_SYMBOL (pv_irq_ops); |