Searched refs:__hypervisor_flush_tlb_kernel_range (Results 1 – 1 of 1) sorted by relevance
357 __hypervisor_flush_tlb_kernel_range: /* 16 insns */ label840 sethi %hi(__hypervisor_flush_tlb_kernel_range), %o1841 or %o1, %lo(__hypervisor_flush_tlb_kernel_range), %o1