iso14443_config_fdt  615 drivers/nfc/st95hf/core.c 		result = iso14443_config_fdt(stcontext, wtx_val & 0x3f);
iso14443_config_fdt  642 drivers/nfc/st95hf/core.c 	result = iso14443_config_fdt(stcontext, val_mm);
iso14443_config_fdt  728 drivers/nfc/st95hf/core.c 		result = iso14443_config_fdt(stcontext, val_mm);