Should you contact campus police in addition to 911?
In the event of a medical emergency, call 911.  If you are calling on behalf of a
friend, or yourself, and need immediate medical attention, call 911. Follow the
directions of the 911 operator.