Você não pode ter a mesma função duas vezes em um arquivo c, então você precisa procurar
em que cpp
pode estar fazendo para manipular a origem. Neste caso, uma versão da função está dentro de
#ifdef CONFIG_MMU
e o outro está na parte #else
.