55 	if ((c = (int *)va_arg(ap, uintptr_t)) == NULL)  in API_getc()
71 	if ((t = (int *)va_arg(ap, uintptr_t)) == NULL)  in API_tstc()
87 	if ((c = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_putc()
103 	if ((s = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_puts()
135 	si = (struct sys_info *)va_arg(ap, uintptr_t);  in API_get_sys_info()
202 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_enum()
236 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_open()
268 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_close()
322 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_write()
332 	buf = (void *)va_arg(ap, uintptr_t);  in API_dev_write()
337 	len = (int *)va_arg(ap, uintptr_t);  in API_dev_write()
390 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_read()
400 	buf = (void *)va_arg(ap, uintptr_t);  in API_dev_read()
406 		len_stor = (lbasize_t *)va_arg(ap, uintptr_t);  in API_dev_read()
413 		start = (lbastart_t *)va_arg(ap, uintptr_t);  in API_dev_read()
416 		act_len_stor = (lbasize_t *)va_arg(ap, uintptr_t);  in API_dev_read()
425 		len_net = (int *)va_arg(ap, uintptr_t);  in API_dev_read()
432 		act_len_net = (int *)va_arg(ap, uintptr_t);  in API_dev_read()
456 	if ((name = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_get()
458 	if ((value = (char **)va_arg(ap, uintptr_t)) == NULL)  in API_env_get()
479 	if ((name = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_set()
481 	if ((value = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_set()
505 	if ((next = (char **)va_arg(ap, uintptr_t)) == NULL)  in API_env_enum()