32/kernel/vspace.c

295     /* map globals frame */
389     /* map globals frame */
425     void  *frame = (void *)generic_frame_cap_get_capFBasePtr(frame_cap);
436                       addrFromPPtr(frame),
450                       addrFromPPtr(frame),
459 /* Create a frame cap for the initial thread. */
705         userError("Requested IPC Buffer is not a frame cap.");
710         userError("Specifying a device frame as an IPC buffer is not permitted.");
789                to get the super section frame base */
807                    to get the large frame base */
894         fail("Invalid PTE frame type");
950         fail("Invalid PTE frame type");
982         fail("Invalid PDE frame type");
2001     /* Get the physical address of this frame. */
2023 static exception_t performASIDControlInvocation(void *frame, cte_t *slot,
2027     /** AUXUPD: "(True, typ_region_bytes (ptr_val \<acute>frame) 12)" */
2028     /** GHOSTUPD: "(True, gs_clear_region (ptr_val \<acute>frame) 12)" */
2032     memzero(frame, 1 << ARMSmallPageBits);
2033     /** AUXUPD: "(True, ptr_retyps 1 (Ptr (ptr_val \<acute>frame) :: asid_pool_C ptr))" */
2035     cteInsert(cap_asid_pool_cap_new(asid_base, WORD_REF(frame)),
2039     armKSASIDTable[asid_base >> asidLowBits] = (asid_pool_t *)frame;
2112         /* Look up the frame containing 'start'. */
2331                 userError("ARMPageMap: Attempting to map frame into multiple addresses");
2341                 userError("ARMPageMap: Cannot map frame over kernel window. vaddr: 0x%08lx, USER_TOP: 0x%08x", vaddr, USER_TOP);
2573         void *frame;
2625         frame = WORD_PTR(cap_untyped_cap_get_capPtr(untyped));
2641         return performASIDControlInvocation(frame, destSlot,
2738         userError("Invalid cap. Log buffer should be of a frame cap");
2747         userError("Invalid frame size. The kernel expects 1M log buffer");