• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/kernel/arch/x86_64/

Lines Matching defs:src

37                                   struct capability *src, uintptr_t flags,
46 if (type_is_vnode(src->type) && pte_count != 1) { // only allow single ptable mappings
47 debug(SUBSYS_PAGING, "src type and count mismatch\n");
60 if (src->type != ObjType_VNode_x86_64_pdpt) { // Right mapping
61 debug(SUBSYS_PAGING, "src type invalid: %d\n", src->type);
70 if (src->type != ObjType_VNode_x86_64_pdir) { // Right mapping
71 if (src->type != ObjType_Frame &&
72 src->type != ObjType_DevFrame) { // Right mapping
73 debug(SUBSYS_PAGING, "src type invalid: %d\n", src->type);
77 if (get_size(src) < HUGE_PAGE_SIZE) {
81 if ((get_address(src)+offset) & HUGE_PAGE_MASK) {
90 if (off + pte_count * X86_64_HUGE_PAGE_SIZE > get_size(src)) {
92 off + pte_count * X86_64_BASE_PAGE_SIZE, get_size(src));
97 flags_large = paging_x86_64_cap_to_page_flags(src->rights);
108 if (src->type != ObjType_VNode_x86_64_ptable) { // Right mapping
109 if (src->type != ObjType_Frame &&
110 src->type != ObjType_DevFrame) { // Right mapping
111 debug(SUBSYS_PAGING, "src type invalid: %d\n", src->type);
115 if (get_size(src) < LARGE_PAGE_SIZE) {
119 if ((get_address(src)+offset) & LARGE_PAGE_MASK) {
128 if (off + pte_count * X86_64_LARGE_PAGE_SIZE > get_size(src)) {
130 off + pte_count * X86_64_BASE_PAGE_SIZE, get_size(src));
135 flags_large = paging_x86_64_cap_to_page_flags(src->rights);
155 genpaddr_t src_gp = get_address(src);
159 create_mapping_cap(mapping_cte, src, cte_for_cap(dest),
195 struct capability *src, uintptr_t mflags,
210 if (src->type != ObjType_Frame &&
211 src->type != ObjType_DevFrame) { // Right mapping
212 debug(SUBSYS_PAGING, "src type invalid\n");
218 if (off + pte_count * X86_64_BASE_PAGE_SIZE > get_size(src)) {
220 off + pte_count * X86_64_BASE_PAGE_SIZE, get_size(src));
222 off + pte_count * X86_64_BASE_PAGE_SIZE, get_size(src));
224 sprint_cap(buf,256,src);
225 printk(LOG_NOTE, "src = %s\n", buf);
233 paging_x86_64_cap_to_page_flags(src->rights);
246 genpaddr_t src_gp = get_address(src);
249 create_mapping_cap(mapping_cte, src, cte_for_cap(dest),