How a System Call Actually Works in Linux