/* Function to allocate the block identified by block number 'block_index'.  */
static void block_allocate(uint32_t block_index)
/* Function to allocate the block identified by block number 'block_index'.  */
static void block_allocate(uint32_t block_index)
{
    uint32_t x;
    uint32_t y;
    get_block_coordinates(block_index, &x, &y);
    CLR_BIT(m_mem_pool[x], y);
}