build_splash_module
vm_offset_t build_splash_module(vm_offset_t, int);
addr = build_splash_module(addr, SPLASH_STARTUP);
addr = build_splash_module(addr, SPLASH_SHUTDOWN);