Searched refs:per_ctx_start (Results 1 – 1 of 1) sorted by relevance
2846 uint32_t per_ctx_start[CACHELINE_DWORDS] = {0}; in combine_wa_ctx() local2852 per_ctx_start[0] = 0x18800001; in combine_wa_ctx()2853 per_ctx_start[1] = wa_ctx->per_ctx.guest_gma; in combine_wa_ctx()2858 memcpy(bb_start_sva, per_ctx_start, CACHELINE_BYTES); in combine_wa_ctx()
