usr/init/main.c
void pid_send_handler(void *arg) {
    uintptr_t *uarg = (uintptr_t *)arg;
    struct lmp_chan *lc = (struct lmp_chan *)uarg[0];
    domainid_t *newpid = (domainid_t *) uarg[1];

    errval_t err = lmp_chan_send2(lc, LMP_SEND_FLAGS_DEFAULT, NULL_CAP, RPC_OK, *newpid);
    assert(err_is_ok(err));
}
// Return the new pid to the parent process
Return the new pid to the parent process
Return the new pid to the parent process
void pid_send_handler(void *arg) {
    uintptr_t *uarg = (uintptr_t *)arg;
    struct lmp_chan *lc = (struct lmp_chan *)uarg[0];
    domainid_t *newpid = (domainid_t *) uarg[1];
    errval_t err = lmp_chan_send2(lc, LMP_SEND_FLAGS_DEFAULT, NULL_CAP, RPC_OK, *newpid);
    assert(err_is_ok(err));
}
void pid_send_handler ( void * arg ) { uintptr_t * uarg = ( uintptr_t * ) arg ; struct lmp_chan * lc = ( struct lmp_chan * ) uarg [ 0 ] ; domainid_t * newpid = ( domainid_t * ) uarg [ 1 ] ; errval_t err = lmp_chan_send2 ( lc , LMP_SEND_FLAGS_DEFAULT , NULL_CAP , RPC_OK , * newpid ) ; assert ( err_is_ok ( err ) ) ; }
Return the new pid to the parent process
Return the new pid to the parent process