of those of the action provider called
Out: Name Type Comment sCalling
should be called (for example
to be called cyclically
. The munmap() system call
method is called. In
to call the state