54 	if ((c = (int *)va_arg(ap, uintptr_t)) == NULL)  in API_getc()
70 	if ((t = (int *)va_arg(ap, uintptr_t)) == NULL)  in API_tstc()
86 	if ((c = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_putc()
102 	if ((s = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_puts()
134 	si = (struct sys_info *)va_arg(ap, uintptr_t);  in API_get_sys_info()
201 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_enum()
235 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_open()
267 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_close()
321 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_write()
331 	buf = (void *)va_arg(ap, uintptr_t);  in API_dev_write()
336 	len = (int *)va_arg(ap, uintptr_t);  in API_dev_write()
389 	di = (struct device_info *)va_arg(ap, uintptr_t);  in API_dev_read()
399 	buf = (void *)va_arg(ap, uintptr_t);  in API_dev_read()
405 		len_stor = (lbasize_t *)va_arg(ap, uintptr_t);  in API_dev_read()
412 		start = (lbastart_t *)va_arg(ap, uintptr_t);  in API_dev_read()
415 		act_len_stor = (lbasize_t *)va_arg(ap, uintptr_t);  in API_dev_read()
424 		len_net = (int *)va_arg(ap, uintptr_t);  in API_dev_read()
431 		act_len_net = (int *)va_arg(ap, uintptr_t);  in API_dev_read()
455 	if ((name = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_get()
457 	if ((value = (char **)va_arg(ap, uintptr_t)) == NULL)  in API_env_get()
478 	if ((name = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_set()
480 	if ((value = (char *)va_arg(ap, uintptr_t)) == NULL)  in API_env_set()
504 	if ((next = (char **)va_arg(ap, uintptr_t)) == NULL)  in API_env_enum()