var zgetri_8f = [ [ "zgetri", "da/d28/group__getri_ga563600017476dbf36fb663c3f9f61b8a.html#ga563600017476dbf36fb663c3f9f61b8a", null ] ]; .