Searched refs:psw_mask (Results 1 – 4 of 4) sorted by relevance
149 run->psw_mask &= ~(3UL << (63 - 17)); in main()150 run->psw_mask |= 1UL << (63 - 17); /* Enable AR mode */ in main()160 run->psw_mask &= ~(3UL << (63 - 17)); /* Disable AR mode */ in main()
160 TEST_ASSERT(run->psw_mask == 0, "psw_mask == 0 (kvm_run)"); in assert_initial()
210 run->psw_mask = 0x0400000180000000ULL; /* DAT enabled + 64 bit mode */ in vm_vcpu_add_default()242 indent, "", vcpu->state->psw_mask, vcpu->state->psw_addr); in vcpu_dump()
283 __u64 psw_mask; /* psw upper half */ member