31 s64 uv_bios_call(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3, u64 a4, u64 a5)  in uv_bios_call()
42 	ret = efi_call((void *)__va(tab->function), (u64)which,  in uv_bios_call()
48 s64 uv_bios_call_irqsave(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3,  in uv_bios_call_irqsave()
49 					u64 a4, u64 a5)  in uv_bios_call_irqsave()
61 s64 uv_bios_call_reentrant(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3,  in uv_bios_call_reentrant()
62 					u64 a4, u64 a5)  in uv_bios_call_reentrant()
90 	u64 v0, v1;  in uv_bios_get_sn_info()
94 				(u64)(&v0), (u64)(&v1), 0, 0);  in uv_bios_get_sn_info()
117 	u64 watchlist;  in uv_bios_mq_watchlist_alloc()
124 			mq_size, (u64)intr_mmr_offset,  in uv_bios_mq_watchlist_alloc()
125 			(u64)&watchlist, 0);  in uv_bios_mq_watchlist_alloc()
142 uv_bios_change_memprotect(u64 paddr, u64 len, enum uv_memprotect perms)  in uv_bios_change_memprotect()
150 uv_bios_reserved_page_pa(u64 buf, u64 *cookie, u64 *addr, u64 *len)  in uv_bios_reserved_page_pa()
154 	ret = uv_bios_call_irqsave(UV_BIOS_GET_PARTITION_ADDR, (u64)cookie,  in uv_bios_reserved_page_pa()
155 					(u64)addr, buf, (u64)len, 0);  in uv_bios_reserved_page_pa()
160 s64 uv_bios_freq_base(u64 clock_type, u64 *ticks_per_second)  in uv_bios_freq_base()
163 			   (u64)ticks_per_second, 0, 0, 0);  in uv_bios_freq_base()
182 				(u64)decode, (u64)domain, (u64)bus, 0, 0);  in uv_bios_set_legacy_vga_target()