Lines Matching defs:guest
268 /* End of guest code reached */
392 * candidate to ensure the guest AR (of zero) is used.
526 static void choose_block(bool guest, int i, int *size, int *offset)
531 if (guest) {
544 static __uint128_t permutate_bits(bool guest, int i, int size, __uint128_t old)
552 if (guest)
829 * the guest in order to be able to read the TEID from guest memory.
830 * Set the guest program new PSW, so the guest state is not clobbered.
888 print_skip("did not allocate guest pages at required positions");
927 print_skip("did not allocate guest pages at required positions");
948 print_skip("did not allocate guest pages at required positions");
995 /* Bad guest address: */
997 TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address with CHECK_ONLY");
999 TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address on write");
1069 TEST_ASSERT(rv > 0, "ioctl allows bad guest address for cmpxchg");