secondary_configuration_type4b 425 drivers/nfc/st95hf/core.c result = secondary_configuration_type4b(stcontext); secondary_configuration_type4b 590 drivers/nfc/st95hf/core.c result = secondary_configuration_type4b(st95context);