I will describe the example I am working with and how I ran into this question. At the end of the post I ask the actual question:
I am following this tutorial on OS devel