/* Initializes the block by setting it to be free.  */
static void block_init(uint32_t block_index)
/* Initializes the block by setting it to be free.  */
static void block_init(uint32_t block_index)
{
    uint32_t x;
    uint32_t y;
    get_block_coordinates(block_index, &x, &y);
    SET_BIT(m_mem_pool[x], y);
}