This will force us to create a kernel entry function instead of jumping to kernel.c:0x00 */
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected