Go to the source code of this file.
Definition at line 69 of file kernel.h.
Definition at line 68 of file kernel.h.
Definition at line 71 of file kernel.h.