src/sys/mm/rmem/main.c
/**
 * @brief Gets the ID of this server.
 */
@brief Gets the ID of this server.
@brief Gets the ID of this server .
static int rmem_server_get_id(void)
{
	for (int i = 0; i < RMEM_SERVERS_NUM; i++)
	{
		if (nodenum == rmem_servers[i].nodenum)
			return (i);
	}
	return (-1);
}
static int rmem_server_get_id ( void ) { for ( int i = 0 ; i < RMEM_SERVERS_NUM ; i ++ ) { if ( nodenum == rmem_servers [ i ] . nodenum ) return ( i ) ; } return ( -1 ) ; }
@brief Gets the ID of this server.
@brief Gets the ID of this server .
/* Search for server. */ /* Found. */ /* Should not happen. */