190 cx_device_register(nasid_t nasid, int part_num, int mfg_num,  in cx_device_register()
246 static inline u64 tiocx_intr_alloc(nasid_t nasid, int widget,  in tiocx_intr_alloc()
262 static inline void tiocx_intr_free(nasid_t nasid, int widget,  in tiocx_intr_free()
275 struct sn_irq_info *tiocx_irq_alloc(nasid_t nasid, int widget, int irq,  in tiocx_irq_alloc()
302 	nasid_t nasid = NASID_GET(bridge);  in tiocx_irq_free()  local
317 u64 tiocx_swin_base(int nasid)  in tiocx_swin_base()
332 static void tio_conveyor_set(nasid_t nasid, int enable_flag)  in tio_conveyor_set()
354 #define tio_conveyor_enable(nasid) tio_conveyor_set(nasid, 1)  argument
355 #define tio_conveyor_disable(nasid) tio_conveyor_set(nasid, 0)  argument
357 static void tio_corelet_reset(nasid_t nasid, int corelet)  in tio_corelet_reset()
368 static int is_fpga_tio(int nasid, int *bt)  in is_fpga_tio()
391 static int bitstream_loaded(nasid_t nasid)  in bitstream_loaded()
406 	nasid_t nasid = cx_dev->cx_id.nasid;  in tiocx_reload()  local
496 		nasid_t nasid;  in tiocx_init()  local