Nice find. These seem to be from some GUI code which I don't quite understand. However, if you look at ff75be7c, you can extract some property numbers (easier if you have a decompiler):
0x8003002C PROP_HDMI_PHYSICAL_CONNECT
0x80040056 PROP_TIMECODE_HDMI_OUTPUT
0x80040057 PROP_TIMECODE_HDMI_REC_COMMAND
This code seems to react to these properties, but it doesn't look like a prop handler; instead, it's in the middle of Set***ToWinSystem (which I believe it's used to print GUI symbols).
Let's see how Canon calls it (look for 80040057 => ff19d8ac). The code is roughly like this:
uint32_t aux = arg0;
prop_request_change(0x80040057, &aux, 4);
The above code is called from CtrlSrv task I think (where most Canon GUI stuff happens) when some GUICMD event code is 0xB IDC_DPM_REC_COMMAND (these are not our usual button codes, but one layer above that). The REC button is defined as 0x1E in gui.h, which gives a GUICMD code = 0x1000000f (at ff1a7ddc+8+0x1e*4). So, I'm not exactly sure what triggers it. Anyway, the argument (arg0) seems to be *0xFF9E898C, which is 0.
It's unlikely that our property would be a permanent setting in NVRAM (it looks more like something that triggers an action), so I'd say it's worth trying (but that's not a guarantee). If g3gg0 confirms my analysis, it's probably safe.
I've tried the following code on my 5D3 (don't click me), without a recorder attached, and the property handler did not trigger.
PROP_HANDLER(0x80040057)
{
NotifyBox(1000, "%d ", buf[0]);
}
static void run_test()
{
msleep(1000);
uint32_t aux = 0;
prop_request_change(0x80040057, &aux, 4);
beep();
}