let get_called_funcs ki =
match ki.skind with
| Instr (Call (_,expr_f,_,_)) ->
snd (!Value.expr_to_kernel_function
(Kstmt ki)
~with_alarms:CilE.warn_none_mode
~deps:None
expr_f)
| _ -> []