let get_called_kf call_stmt =
match call_stmt.skind with
| Instr (Call (_, funcexp,_,_)) ->
let _funcexp_dpds, called_functions =
!Db.Value.expr_to_kernel_function
~with_alarms:CilE.warn_none_mode
(Kstmt call_stmt) ~deps:(Some Locations.Zone.bottom) funcexp in
(match called_functions with | kf :: [] -> kf
| _ -> raise SlicingTypes.PtrCallExpr)
| _ -> raise (Invalid_argument "Not a call statement !")