host1x_pushbuffer_push
host1x_pushbuffer_push(pb, op1, op2);
host1x_pushbuffer_push(pb, (0x5 << 28), 0xdead0000);
host1x_pushbuffer_push(pb, op3, op4);