diff --git a/repos/os/src/server/block_cache/main.cc b/repos/os/src/server/block_cache/main.cc index c0ffb1c128..b2af7b6345 100644 --- a/repos/os/src/server/block_cache/main.cc +++ b/repos/os/src/server/block_cache/main.cc @@ -44,6 +44,9 @@ void Driver::Policy::sync(const typename POLICY::Element *e, char *dst) } } +/* explicit instantiation for external reference */ +template void Driver::Policy::sync(const typename Policy::Element *, char *); + struct Main {