diff options
author | Michael Holzheu <holzheu@linux.vnet.ibm.com> | 2017-06-30 21:31:38 +0300 |
---|---|---|
committer | Pavel Emelyanov <xemul@virtuozzo.com> | 2017-08-09 18:51:41 +0300 |
commit | 343b5f53ef071a225aab8fa5e8c7d305b5dacd62 (patch) | |
tree | d6658533fc4fa5685f888ce68211ab516b7b9a24 /images/core-s390.proto | |
parent | 8b23923640caa575874dfff8a5d05ca60617b42f (diff) |
s390:proto: Add s390 to protocol buffer files
Reviewed-by: Alice Frosi <alice@linux.vnet.ibm.com>
Signed-off-by: Michael Holzheu <holzheu@linux.vnet.ibm.com>
Reviewed-by: Dmitry Safonov <dsafonov@virtuozzo.com>
Signed-off-by: Andrei Vagin <avagin@virtuozzo.com>
Diffstat (limited to 'images/core-s390.proto')
-rw-r--r-- | images/core-s390.proto | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/images/core-s390.proto b/images/core-s390.proto new file mode 100644 index 000000000..78d3e1447 --- /dev/null +++ b/images/core-s390.proto @@ -0,0 +1,39 @@ +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 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]; +} |