VCU_GASKET_INIT   563 drivers/soc/xilinx/xlnx_vcu.c 	xvcu_write(xvcu->logicore_reg_ba, VCU_GASKET_INIT, VCU_GASKET_VALUE);
VCU_GASKET_INIT   602 drivers/soc/xilinx/xlnx_vcu.c 	xvcu_write(xvcu->logicore_reg_ba, VCU_GASKET_INIT, 0);