Structsยง
- External
Page Resource - A special page resource that records some external pages that are not mmapped by us, but are used by our space (namely VM space). Unlike other page resources, we cannot allocate from this page resource.
- External
Pages