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