87 sal_get_device_dmaflush_list(u64 nasid, u64 widget_num, u64 device_num,  in sal_get_device_dmaflush_list()  argument
96 			(u64) nasid, (u64) widget_num,  in sal_get_device_dmaflush_list()
125 static s64 sn_device_fixup_war(u64 nasid, u64 widget, int device,  in sn_device_fixup_war()  argument
139 			nasid, widget, __pa(war_list), 0, 0, 0 ,0);  in sn_device_fixup_war()
284 	int nasid;  in sn_common_bus_fixup()  local
327 	nasid = NASID_GET(SN_PCIBUS_BUSSOFT(bus)->bs_base);  in sn_common_bus_fixup()
328 	cnode = nasid_to_cnodeid(nasid);  in sn_common_bus_fixup()
413 	nasid_t nasid;  in sn_generate_path()  local
419 	nasid = NASID_GET(SN_PCIBUS_BUSSOFT(pci_bus)->bs_base);  in sn_generate_path()
420 	cnode = nasid_to_cnodeid(nasid);  in sn_generate_path()
521 	nasid_t nasid;  in sn_io_late_init()  local
535 		nasid = NASID_GET(bussoft->bs_base);  in sn_io_late_init()
536 		cnode = nasid_to_cnodeid(nasid);  in sn_io_late_init()