191 	int16_t devfunc = immu_devi->imd_devfunc;  in bdf_domain_lookup()  local
192 	uintptr_t bdf = (seg << 16 | bus << 8 | devfunc);  in bdf_domain_lookup()
194 	if (seg < 0 || bus < 0 || devfunc < 0) {  in bdf_domain_lookup()
214 	int16_t devfunc = immu_devi->imd_devfunc;  in bdf_domain_insert()  local
215 	uintptr_t bdf = (seg << 16 | bus << 8 | devfunc);  in bdf_domain_insert()
217 	if (seg < 0 || bus < 0 || devfunc < 0) {  in bdf_domain_insert()
1450     int bus, int devfunc)  in context_set()  argument
1476 		hw_cent = (hw_rce_t *)(context->hwpg_vaddr) + devfunc;  in context_set()
1504 		hw_cent = (hw_rce_t *)(context->hwpg_vaddr) + devfunc;  in context_set()
1511 		sid = ((bus << 8) | devfunc);  in context_set()
1540 	int	devfunc;  in context_create()  local
1564 		for (devfunc = 0; devfunc < IMMU_CONT_NUM;  in context_create()
1565 		    devfunc++, hw_cent++) {  in context_create()