O Ftrace parece ser capaz de resolver símbolos do endereço, mesmo com o kaslr ativado. Como isso resolve isso? Usa endereço físico ou endereço virtual?
Você pode dar a referência direta à fonte do kernel do Linux onde ftrace resolve os símbolos do endereço?
Tags drivers gcc linux-kernel ftrace