machine : 65*8 : string;
domainname : 65*8 : string } ->
Some {
- kernel_name = "Linux";
- nodename = truncate_c_string nodename;
- kernel_release = truncate_c_string release;
- kernel_version = truncate_c_string version;
- machine = truncate_c_string machine;
- domainname = truncate_c_string domainname
+ uts_kernel_name = "Linux";
+ uts_nodename = truncate_c_string nodename;
+ uts_kernel_release = truncate_c_string release;
+ uts_kernel_version = truncate_c_string version;
+ uts_machine = truncate_c_string machine;
+ uts_domainname = truncate_c_string domainname
}
| { _ } ->
None