I can’t find any references to the device time MAC command in MBED source, I don’t think it has been implemented yet.