+ /* Allocate an in-transit kobject port with a send right */
+ ipc_kobject_alloc_options_t options;
+ options = (IPC_KOBJECT_ALLOC_IN_TRANSIT | IPC_KOBJECT_ALLOC_MAKE_SEND);
+ port = ipc_kobject_alloc_port((ipc_kobject_t)timer, IKOT_TIMER, options);
+ assert(port != IP_NULL);
+
+ /* Associate the kmsg */
+ ipc_kmsg_set_prealloc(kmsg, port);
+
+ /* Initialize the timer object and bind port to it */