/** The list of register allocators */
static be_module_list_entry_t *register_allocators = NULL;
static be_ra_t *selected_allocator = NULL;
void be_register_allocator(const char *name, be_ra_t *allocator)
{
/** The list of register allocators */
static be_module_list_entry_t *register_allocators = NULL;
static be_ra_t *selected_allocator = NULL;
void be_register_allocator(const char *name, be_ra_t *allocator)
{