cmd_ptr
patch_value(s, cmd_ptr(s, index+1), cmdval_new);
patch_value(s, cmd_ptr(s, 2), gma);
patch_value(s, cmd_ptr(s, 1), val);
patch_value(s, cmd_ptr(s, 0), MI_NOOP);
patch_value(s, cmd_ptr(s, i), MI_NOOP);
patch_value(s, cmd_ptr(s, 0), MI_NOOP);
patch_value(s, cmd_ptr(s, 1), gma);
patch_value(s, cmd_ptr(s, 0), val);
return *cmd_ptr(s, index);
*cmd_ptr(s, 2) = upper_32_bits(mm->ppgtt_mm.shadow_pdps[0]);
*cmd_ptr(s, 4) = lower_32_bits(mm->ppgtt_mm.shadow_pdps[0]);
patch_value(s, cmd_ptr(s, index), VGT_PVINFO_PAGE);