Lines Matching defs:guest
267 /* End of guest code reached */
497 static void choose_block(bool guest, int i, int *size, int *offset)
502 if (guest) {
515 static __uint128_t permutate_bits(bool guest, int i, int size, __uint128_t old)
523 if (guest)
800 * the guest in order to be able to read the TEID from guest memory.
801 * Set the guest program new PSW, so the guest state is not clobbered.
859 print_skip("did not allocate guest pages at required positions");
898 print_skip("did not allocate guest pages at required positions");
919 print_skip("did not allocate guest pages at required positions");
966 /* Bad guest address: */
968 TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address with CHECK_ONLY");
970 TEST_ASSERT(rv > 0, "ioctl does not report bad guest memory address on write");
1040 TEST_ASSERT(rv > 0, "ioctl allows bad guest address for cmpxchg");