Linux Tutorial: How a Linux System Call Works