Lines Matching defs:frame
22 /* Get the physical address of this frame. */
52 exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base)
54 /** AUXUPD: "(True, typ_region_bytes (ptr_val \<acute>frame) 12)" */
55 /** GHOSTUPD: "(True, gs_clear_region (ptr_val \<acute>frame) 12)" */
59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage)));
60 /** AUXUPD: "(True, ptr_retyps 1 (Ptr (ptr_val \<acute>frame) :: asid_pool_C ptr))" */
65 WORD_REF(frame) /* capASIDPool */
72 x86KSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
656 userError("Specifying a device frame as an IPC buffer is not permitted.");
848 fail("Mapped frame cap was not mapped");
962 userError("X86FrameMap: Attempting to map frame into invalid page directory cap.");
980 userError("X86Frame: Attempting to remap frame with different mapping type");
987 userError("X86Frame: Attempting to map frame into multiple addresses");
1275 void *frame;
1323 frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));
1337 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);