Anatomical analysis of the C2 pedicle in patients with basilar invagination