23 static s64 __uv_bios_call(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3,  in __uv_bios_call()
24 			u64 a4, u64 a5)  in __uv_bios_call()
35 	ret = efi_call_virt_pointer(tab, function, (u64)which, a1, a2, a3, a4, a5);  in __uv_bios_call()
40 static s64 uv_bios_call(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3, u64 a4,  in uv_bios_call()
41 		u64 a5)  in uv_bios_call()
54 static s64 uv_bios_call_irqsave(enum uv_bios_cmd which, u64 a1, u64 a2, u64 a3,  in uv_bios_call_irqsave()
55 		u64 a4, u64 a5)  in uv_bios_call_irqsave()
85 	u64 v0, v1;  in uv_bios_get_sn_info()
89 				(u64)(&v0), (u64)(&v1), 0, 0);  in uv_bios_get_sn_info()
111 	u64 watchlist;  in uv_bios_mq_watchlist_alloc()
118 			mq_size, (u64)intr_mmr_offset,  in uv_bios_mq_watchlist_alloc()
119 			(u64)&watchlist, 0);  in uv_bios_mq_watchlist_alloc()
136 uv_bios_change_memprotect(u64 paddr, u64 len, enum uv_memprotect perms)  in uv_bios_change_memprotect()
144 uv_bios_reserved_page_pa(u64 buf, u64 *cookie, u64 *addr, u64 *len)  in uv_bios_reserved_page_pa()
146 	return uv_bios_call_irqsave(UV_BIOS_GET_PARTITION_ADDR, (u64)cookie,  in uv_bios_reserved_page_pa()
147 				    (u64)addr, buf, (u64)len, 0);  in uv_bios_reserved_page_pa()
151 s64 uv_bios_freq_base(u64 clock_type, u64 *ticks_per_second)  in uv_bios_freq_base()
154 			   (u64)ticks_per_second, 0, 0, 0);  in uv_bios_freq_base()
172 				(u64)decode, (u64)domain, (u64)bus, 0, 0);  in uv_bios_set_legacy_vga_target()
175 extern s64 uv_bios_get_master_nasid(u64 size, u64 *master_nasid)  in uv_bios_get_master_nasid()
178 				size, (u64)master_nasid);  in uv_bios_get_master_nasid()
182 extern s64 uv_bios_get_heapsize(u64 nasid, u64 size, u64 *heap_size)  in uv_bios_get_heapsize()
185 				0, size, (u64)heap_size);  in uv_bios_get_heapsize()
189 extern s64 uv_bios_install_heap(u64 nasid, u64 heap_size, u64 *bios_heap)  in uv_bios_install_heap()
192 				0, heap_size, (u64)bios_heap);  in uv_bios_install_heap()
196 extern s64 uv_bios_obj_count(u64 nasid, u64 size, u64 *objcnt)  in uv_bios_obj_count()
199 				0, size, (u64)objcnt);  in uv_bios_obj_count()
203 extern s64 uv_bios_enum_objs(u64 nasid, u64 size, u64 *objbuf)  in uv_bios_enum_objs()
206 				0, size, (u64)objbuf);  in uv_bios_enum_objs()
210 extern s64 uv_bios_enum_ports(u64 nasid, u64 obj_id, u64 size, u64 *portbuf)  in uv_bios_enum_ports()
213 				obj_id, size, (u64)portbuf);  in uv_bios_enum_ports()
217 extern s64 uv_bios_get_geoinfo(u64 nasid, u64 size, u64 *buf)  in uv_bios_get_geoinfo()
219 	return uv_bios_call(UV_BIOS_GET_GEOINFO, nasid, (u64)buf, size, 0, 0);  in uv_bios_get_geoinfo()
223 extern s64 uv_bios_get_pci_topology(u64 size, u64 *buf)  in uv_bios_get_pci_topology()
225 	return uv_bios_call(UV_BIOS_GET_PCI_TOPOLOGY, (u64)buf, size, 0, 0, 0);  in uv_bios_get_pci_topology()