/* fill out the sys_info struct containing selected parameters about the machine  */
static int API_get_sys_info(va_list ap)
/* fill out the sys_info struct containing selected parameters about the machine  */
static int API_get_sys_info(va_list ap)
{
	struct sys_info *si;
	si = (struct sys_info *)va_arg(ap, uintptr_t);
	if (si == NULL)
		return API_ENOMEM;
	return (platform_sys_info(si)) ? 0 : API_ENODEV;
}