PV_INTSTAT
CRTC_WRITE(PV_INTSTAT, PV_INT_VFP_START);
VC4_REG32(PV_INTSTAT),
u32 stat = CRTC_READ(PV_INTSTAT);