Lines Matching full:guest
124 - 1 /* r13 guest state pointer */
151 /* GPR13 is not available because it is used as guest state pointer */
177 /* Return the real register that holds the guest state pointer */
276 /* Construct an AMODE for accessing the guest state at OFFSET.
290 vpanic("invalid guest state offset");
6520 case 'G': /* %G = guest state @ offset */
6521 p += vex_sprintf(p, "guest[%d]", va_arg(args, UInt));
9435 /* Copy FPC from guest state to R0 and OR in the new rounding mode */
9452 /* Copy FPC from guest state to R0 and OR in the new rounding mode */
9633 /* Update the guest IA. */
9714 /* Update the guest IA with the address in xdirect.dst. */
9766 /* Update the guest IA with the address in xassisted.dst. */
9847 /* Decrement the dispatch counter in the guest state */
