Lines Matching refs:r
44 thread_t *thread = o.r.thread; in hypercall_addrspace_attach_thread()
53 addrspace_t *addrspace = c.r; in hypercall_addrspace_attach_thread()
68 object_put(type, o.r); in hypercall_addrspace_attach_thread()
87 err = trigger_addrspace_attach_vdma_event(addrspace_r.r, dma_device_cap, in hypercall_addrspace_attach_vdma()
90 object_put_addrspace(addrspace_r.r); in hypercall_addrspace_attach_vdma()
110 err = trigger_addrspace_attach_vdevice_event(addrspace_r.r, vdevice_cap, in hypercall_addrspace_attach_vdevice()
113 object_put_addrspace(addrspace_r.r); in hypercall_addrspace_attach_vdevice()
140 addrspace_t *addrspace = c.r; in hypercall_addrspace_map()
149 memextent_t *memextent = m.r; in hypercall_addrspace_map()
190 addrspace_t *addrspace = c.r; in hypercall_addrspace_unmap()
199 memextent_t *memextent = m.r; in hypercall_addrspace_unmap()
243 addrspace_t *addrspace = c.r; in hypercall_addrspace_update_access()
252 memextent_t *memextent = m.r; in hypercall_addrspace_update_access()
294 addrspace_t *target_as = o.r.addrspace; in hypercall_addrspace_configure()
307 object_put(type, o.r); in hypercall_addrspace_configure()
326 addrspace_t *addrspace = a.r; in hypercall_addrspace_lookup()
335 memextent_t *memextent = m.r; in hypercall_addrspace_lookup()
346 paddr_t phys_start = lookup_ret.r.phys; in hypercall_addrspace_lookup()
347 paddr_t phys_end = phys_start + (lookup_ret.r.size - 1U); in hypercall_addrspace_lookup()
359 memextent_mapping_attrs_set_memtype(&map_attrs, lookup_ret.r.memtype); in hypercall_addrspace_lookup()
361 lookup_ret.r.user_access); in hypercall_addrspace_lookup()
363 lookup_ret.r.kernel_access); in hypercall_addrspace_lookup()
366 ret.size = lookup_ret.r.size; in hypercall_addrspace_lookup()
396 addrspace_t *target_as = o.r.addrspace; in hypercall_addrspace_configure_info_area()
404 memextent_t *info_area_me = m.r; in hypercall_addrspace_configure_info_area()
418 object_put(type, o.r); in hypercall_addrspace_configure_info_area()
438 addrspace_t *target_as = o.r; in hypercall_addrspace_configure_vmmio()
459 object_put_addrspace(o.r); in hypercall_addrspace_configure_vmmio()