Searched refs:kernel_version_t (Results 1 – 4 of 4) sorted by relevance
84 typedef char kernel_version_t[KERNEL_VERSION_MAX]; typedef
104 out kernel_version : kernel_version_t);
513 type kernel_version_t = c_string[*:512];
1094 host_kernel_version(host_t host, kernel_version_t out_version) in host_kernel_version()1100 (void)strncpy(out_version, version, sizeof(kernel_version_t)); in host_kernel_version()