template <>class IsPageFaultMatcherP
Defined at line 109 of file ../../src/lib/captive-thread/testing/include/lib/captive-thread/testing/matchers.h
This is a composite matcher used inside GotException() to match a page fault
whose fault address is matched by the argument matcher.