find_free_bat
int __init find_free_bat(void);
while ((idx = find_free_bat()) != -1 && base != top) {
index = find_free_bat();
int idx = find_free_bat();