Devil called out with a jokey appellation (9)
I believe the answer is:
nicknamed
'with a jokey appellation' is the definition.
(a nickname might be a jokey appellation or name)
'devil called out' is the wordplay.
'devil' becomes 'nick' (I have seen 'Old devil' mean 'nick' so perhaps 'devil' could also mean 'nick').
'called out' becomes 'named' (call out can mean to name or identify).
'nick'+'named'='NICKNAMED'
(Other definitions for nicknamed that I've seen before include "Given handle" , "with additional handle?" .)