21 	vcpu->arch.sta.shmem = INVALID_GPA;  in kvm_riscv_vcpu_sbi_sta_reset()
22 	vcpu->arch.sta.last_steal = 0;  in kvm_riscv_vcpu_sbi_sta_reset()
27 	gpa_t shmem = vcpu->arch.sta.shmem;  in kvm_riscv_vcpu_record_steal_time()
28 	u64 last_steal = vcpu->arch.sta.last_steal;  in kvm_riscv_vcpu_record_steal_time()
50 		vcpu->arch.sta.shmem = INVALID_GPA;  in kvm_riscv_vcpu_record_steal_time()
70 		vcpu->arch.sta.last_steal = READ_ONCE(current->sched_info.run_delay);  in kvm_riscv_vcpu_record_steal_time()
71 		steal += vcpu->arch.sta.last_steal - last_steal;  in kvm_riscv_vcpu_record_steal_time()
98 		vcpu->arch.sta.shmem = INVALID_GPA;  in kvm_sbi_sta_steal_time_set_shmem()
122 	vcpu->arch.sta.shmem = shmem;  in kvm_sbi_sta_steal_time_set_shmem()
123 	vcpu->arch.sta.last_steal = current->sched_info.run_delay;  in kvm_sbi_sta_steal_time_set_shmem()
167 		*reg_val = (unsigned long)vcpu->arch.sta.shmem;  in kvm_riscv_vcpu_get_reg_sbi_sta()
171 			*reg_val = upper_32_bits(vcpu->arch.sta.shmem);  in kvm_riscv_vcpu_get_reg_sbi_sta()
189 			gpa_t hi = upper_32_bits(vcpu->arch.sta.shmem);  in kvm_riscv_vcpu_set_reg_sbi_sta()
191 			vcpu->arch.sta.shmem = reg_val;  in kvm_riscv_vcpu_set_reg_sbi_sta()
192 			vcpu->arch.sta.shmem |= hi << 32;  in kvm_riscv_vcpu_set_reg_sbi_sta()
194 			vcpu->arch.sta.shmem = reg_val;  in kvm_riscv_vcpu_set_reg_sbi_sta()
199 			gpa_t lo = lower_32_bits(vcpu->arch.sta.shmem);  in kvm_riscv_vcpu_set_reg_sbi_sta()
201 			vcpu->arch.sta.shmem = ((gpa_t)reg_val << 32);  in kvm_riscv_vcpu_set_reg_sbi_sta()
202 			vcpu->arch.sta.shmem |= lo;  in kvm_riscv_vcpu_set_reg_sbi_sta()