Redirecting to
../../sel4_abstract_ptr/struct.AbstractPtr.html
...