Clean cached pages within a top level translation table See . The is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. Or, is in the kernel virtual address range. The is greater than or equal to . The is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. The specified range crosses a page boundary. Invalidate cached pages within a top level translation table See . The is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. Or, is in the kernel virtual address range. The is greater than or equal to . The is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. The specified range crosses a page boundary. Clean and invalidate cached pages within a top level translation table See . The is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. Or, is in the kernel virtual address range. The is greater than or equal to . The is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. The specified range crosses a page boundary. Clean and invalidate cached instruction pages to point of unification See . The is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. Or, is in the kernel virtual address range. The is greater than or equal to . The is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. The specified range crosses a page boundary. Map an upper page directory Map an upper page directory (level 1) to a top level translation table (level 0). VM Attributes for the mapping.Possible values for this type are given in . A mapping already exists for this level in at . The is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. The is in the kernel virtual address range. The or is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. Or, is already mapped in a VSpace. TODO The is a CPtr to a capability of the wrong type. The is a CPtr to a capability of the wrong type. A copy of the capability exists. Map a page directory Map a page directory (level 2) to an upper page directory (level 1). VM Attributes for the mapping.Possible values for this type are given in . A mapping already exists for this level in at . The does not have a Page Upper Directory mapped at . Or, is not assigned to an ASID pool. The is a CPtr to a capability of the wrong type. The is in the kernel virtual address range. The or is a CPtr to a capability of the wrong type. Or, is not assigned to an ASID pool. Or, is already mapped in a VSpace. Unmap a page directory Unmap a page directory (level 2) from an upper page directory (level 1) The is a CPtr to a capability of the wrong type. The is a CPtr to a capability of the wrong type. A copy of the capability exists.