lockstep.c: In function ‘lockstep_switch_register’:
lockstep.c:1461: warning: cast to pointer from integer of different size
lockstep.c: In function ‘lockstep_pre_vmentry’:
lockstep.c:2218: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:2224: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:2231: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:2237: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:2243: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c: In function ‘lockstep_switch_return’:
lockstep.c:2971: warning: cast to pointer from integer of different size
lockstep.c:3022: warning: cast to pointer from integer of different size
lockstep.c:3027: warning: cast from pointer to integer of different size
lockstep.c:3054: warning: cast to pointer from integer of different size
lockstep.c:3060: warning: cast from pointer to integer of different size
lockstep.c: In function ‘lockstep_switch_setup’:
lockstep.c:3182: warning: cast to pointer from integer of different size
lockstep.c: In function ‘lockstep_save_regs’:
lockstep.c:3712: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:3713: error: ‘struct cpu_user_regs’ has no member named ‘rbx’
lockstep.c:3714: error: ‘struct cpu_user_regs’ has no member named ‘rcx’
lockstep.c:3715: error: ‘struct cpu_user_regs’ has no member named ‘rdx’
lockstep.c:3716: error: ‘struct cpu_user_regs’ has no member named ‘rbp’
lockstep.c:3717: error: ‘struct cpu_user_regs’ has no member named ‘rsi’
lockstep.c:3718: error: ‘struct cpu_user_regs’ has no member named ‘rdi’
lockstep.c:3720: error: ‘struct cpu_user_regs’ has no member named ‘r8’
lockstep.c:3721: error: ‘struct cpu_user_regs’ has no member named ‘r9’
lockstep.c:3722: error: ‘struct cpu_user_regs’ has no member named ‘r10’
lockstep.c:3723: error: ‘struct cpu_user_regs’ has no member named ‘r11’
lockstep.c:3724: error: ‘struct cpu_user_regs’ has no member named ‘r12’
lockstep.c:3725: error: ‘struct cpu_user_regs’ has no member named ‘r13’
lockstep.c:3726: error: ‘struct cpu_user_regs’ has no member named ‘r14’
lockstep.c:3727: error: ‘struct cpu_user_regs’ has no member named ‘r15’
lockstep.c: In function ‘lockstep_load_regs’:
lockstep.c:3838: error: ‘struct cpu_user_regs’ has no member named ‘rflags’
lockstep.c:3847: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:3848: error: ‘struct cpu_user_regs’ has no member named ‘rbx’
lockstep.c:3849: error: ‘struct cpu_user_regs’ has no member named ‘rcx’
lockstep.c:3850: error: ‘struct cpu_user_regs’ has no member named ‘rdx’
lockstep.c:3851: error: ‘struct cpu_user_regs’ has no member named ‘rbp’
lockstep.c:3852: error: ‘struct cpu_user_regs’ has no member named ‘rsi’
lockstep.c:3853: error: ‘struct cpu_user_regs’ has no member named ‘rdi’
lockstep.c:3855: error: ‘struct cpu_user_regs’ has no member named ‘r8’
lockstep.c:3856: error: ‘struct cpu_user_regs’ has no member named ‘r9’
lockstep.c:3857: error: ‘struct cpu_user_regs’ has no member named ‘r10’
lockstep.c:3858: error: ‘struct cpu_user_regs’ has no member named ‘r11’
lockstep.c:3859: error: ‘struct cpu_user_regs’ has no member named ‘r12’
lockstep.c:3860: error: ‘struct cpu_user_regs’ has no member named ‘r13’
lockstep.c:3861: error: ‘struct cpu_user_regs’ has no member named ‘r14’
lockstep.c:3862: error: ‘struct cpu_user_regs’ has no member named ‘r15’
lockstep.c:3874: error: ‘struct cpu_user_regs’ has no member named ‘rflags’
lockstep.c:3884: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:3885: error: ‘struct cpu_user_regs’ has no member named ‘rbx’
lockstep.c:3886: error: ‘struct cpu_user_regs’ has no member named ‘rcx’
lockstep.c:3887: error: ‘struct cpu_user_regs’ has no member named ‘rdx’
lockstep.c:3888: error: ‘struct cpu_user_regs’ has no member named ‘rbp’
lockstep.c:3889: error: ‘struct cpu_user_regs’ has no member named ‘rsi’
lockstep.c:3890: error: ‘struct cpu_user_regs’ has no member named ‘rdi’
lockstep.c:3892: error: ‘struct cpu_user_regs’ has no member named ‘r8’
lockstep.c:3893: error: ‘struct cpu_user_regs’ has no member named ‘r9’
lockstep.c:3894: error: ‘struct cpu_user_regs’ has no member named ‘r10’
lockstep.c:3895: error: ‘struct cpu_user_regs’ has no member named ‘r11’
lockstep.c:3896: error: ‘struct cpu_user_regs’ has no member named ‘r12’
lockstep.c:3897: error: ‘struct cpu_user_regs’ has no member named ‘r13’
lockstep.c:3898: error: ‘struct cpu_user_regs’ has no member named ‘r14’
lockstep.c:3899: error: ‘struct cpu_user_regs’ has no member named ‘r15’
lockstep.c:3906: error: ‘struct arch_vmx_struct’ has no member named ‘shadow_gs’
lockstep.c:3918: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:3919: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c:3921: error: ‘struct cpu_user_regs’ has no member named ‘rax’
lockstep.c: In function ‘vmx_get_desc’:
lockstep.c:4355: warning: cast to pointer from integer of different size
lockstep.c:4355: warning: cast to pointer from integer of different size