Corpus for setsockopt$bt_hci_HCI_TIME_STAMP:

Coverage	Program