mirror of
https://github.com/checkpoint-restore/criu
synced 2025-08-22 01:51:51 +00:00
eb5726c44a
This changes the license of all files in the images/ directory from GPLv2 to the Expat license (so-called MIT). According to git the files have been authored by: Abhishek Dubey Adrian Reber Alexander Mikhalitsyn Alice Frosi Andrei Vagin (Andrew Vagin, Andrey Vagin) Cyrill Gorcunov Dengguangxing Dmitry Safonov Guoyun Sun Kirill Tkhai Kir Kolyshkin Laurent Dufour Michael Holzheu Michał Cłapiński Mike Rapoport Nicolas Viennot Nikita Spiridonov Pavel Emelianov (Pavel Emelyanov) Pavel Tikhomirov Radostin Stoyanov rbruno@gsd.inesc-id.pt Sebastian Pipping Stanislav Kinsburskiy Tycho Andersen Valeriy Vdovin The Expat license (so-called MIT) can be found here: https://opensource.org/licenses/MIT According to that link the correct SPDX short identifier is 'MIT'. https://spdx.org/licenses/MIT.html Signed-off-by: Adrian Reber <areber@redhat.com>
54 lines
1.3 KiB
Protocol Buffer
54 lines
1.3 KiB
Protocol Buffer
// SPDX-License-Identifier: MIT
|
|
|
|
syntax = "proto2";
|
|
|
|
import "opts.proto";
|
|
|
|
message user_s390_regs_entry {
|
|
required uint64 psw_mask = 1;
|
|
required uint64 psw_addr = 2;
|
|
repeated uint64 gprs = 3;
|
|
repeated uint32 acrs = 4;
|
|
required uint64 orig_gpr2 = 5;
|
|
required uint32 system_call = 6;
|
|
}
|
|
|
|
message user_s390_vxrs_low_entry {
|
|
repeated uint64 regs = 1;
|
|
}
|
|
|
|
/*
|
|
* The vxrs_high registers have 128 bit:
|
|
*
|
|
* vxrs_high_0 = regs[0] << 64 | regs[1];
|
|
* vxrs_high_1 = regs[2] << 64 | regs[3];
|
|
*/
|
|
message user_s390_vxrs_high_entry {
|
|
repeated uint64 regs = 1;
|
|
}
|
|
|
|
message user_s390_fpregs_entry {
|
|
required uint32 fpc = 1;
|
|
repeated uint64 fprs = 2;
|
|
}
|
|
|
|
message user_s390_gs_cb_entry {
|
|
repeated uint64 regs = 1;
|
|
}
|
|
|
|
message user_s390_ri_entry {
|
|
required uint32 ri_on = 1;
|
|
repeated uint64 regs = 2;
|
|
}
|
|
|
|
message thread_info_s390 {
|
|
required uint64 clear_tid_addr = 1[(criu).hex = true];
|
|
required user_s390_regs_entry gpregs = 2[(criu).hex = true];
|
|
required user_s390_fpregs_entry fpregs = 3[(criu).hex = true];
|
|
optional user_s390_vxrs_low_entry vxrs_low = 4[(criu).hex = true];
|
|
optional user_s390_vxrs_high_entry vxrs_high = 5[(criu).hex = true];
|
|
optional user_s390_gs_cb_entry gs_cb = 6[(criu).hex = true];
|
|
optional user_s390_gs_cb_entry gs_bc = 7[(criu).hex = true];
|
|
optional user_s390_ri_entry ri_cb = 8[(criu).hex = true];
|
|
}
|