iso14443_config_fdt
result = iso14443_config_fdt(stcontext, wtx_val & 0x3f);
result = iso14443_config_fdt(stcontext, val_mm);