Searched refs:pfault_token (Results 1 – 4 of 4) sorted by relevance
284 return gdb_get_regl(mem_buf, env->pfault_token); in cpu_read_virt_kvm_reg()305 env->pfault_token = ldq_be_p(mem_buf); in cpu_write_virt_kvm_reg()
265 VMSTATE_UINT64(env.pfault_token, S390CPU),
199 env->pfault_token = -1UL; in s390_cpu_reset_hold()
105 uint64_t pfault_token; member