Searched refs:psw_addr (Results 1 – 3 of 3) sorted by relevance
186 run->psw_addr = (uintptr_t)guest_code; in vm_vcpu_add_default()217 indent, "", vcpu->state->psw_mask, vcpu->state->psw_addr); in vcpu_dump()
159 TEST_ASSERT(run->psw_addr == 0, "psw_addr == 0 (kvm_run)"); in assert_initial()
306 __u64 psw_addr; /* psw lower half */ member