Bedside transcranial Doppler as a diagnostic bridge for suspected intracranial hypertension after traumatic brain injury surgery: A case report | Synapse