VC4_HD_MAI_SMP    176 drivers/gpu/drm/vc4/vc4_hdmi.c 	VC4_REG32(VC4_HD_MAI_SMP),
VC4_HD_MAI_SMP    727 drivers/gpu/drm/vc4/vc4_hdmi.c 	HD_WRITE(VC4_HD_MAI_SMP,