#include "defs.h" #include "frame.h" /* Add the following FRAME to the frame cache. */ void frame_cache_add (struct frame_info *frame, struct frame_id id); /* Search the frame cache for an entry with the given frame ID. If found, return that frame. Otherwise return NULL. */ struct frame_info *frame_cache_find (struct frame_id id); /* Invalidate the frame cache by removing all entries in the cache. */ void frame_cache_invalidate (void);