wtx_val 606 drivers/nfc/st95hf/core.c int wtx_val) wtx_val 615 drivers/nfc/st95hf/core.c result = iso14443_config_fdt(stcontext, wtx_val & 0x3f); wtx_val 624 drivers/nfc/st95hf/core.c new_params[0].new_param_val = wtx_val;