Searched refs:cspace_get_self (Results 1 – 17 of 17) sorted by relevance
| /hyp/ipc/msgqueue/src/ |
| A D | hypercalls.c | 27 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_bind_send_virq() 59 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_bind_receive_virq() 90 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_unbind_send_virq() 111 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_unbind_receive_virq() 133 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_send() 160 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_receive() 186 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_flush() 209 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_configure_send() 233 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_configure_receive() 256 cspace_t *cspace = cspace_get_self(); in hypercall_msgqueue_configure()
|
| /hyp/ipc/doorbell/src/ |
| A D | hypercalls.c | 24 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_bind_virq() 55 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_unbind_virq() 76 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_send() 104 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_receive() 132 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_reset() 154 cspace_t *cspace = cspace_get_self(); in hypercall_doorbell_mask()
|
| /hyp/core/cspace_twolevel/src/ |
| A D | hypercalls.c | 24 c = cspace_lookup_cspace(cspace_get_self(), cspace_cap, in hypercall_cspace_delete_cap_from() 46 c = cspace_lookup_cspace(cspace_get_self(), src_cspace_cap, in hypercall_cspace_copy_cap_from() 54 c = cspace_lookup_cspace(cspace_get_self(), dest_cspace_cap, in hypercall_cspace_copy_cap_from() 91 c = cspace_lookup_cspace(cspace_get_self(), src_cspace, in hypercall_cspace_revoke_caps_from() 110 cspace_t *cspace = cspace_get_self(); in hypercall_cspace_configure() 146 cspace_t *cspace = cspace_get_self(); in hypercall_cspace_attach_thread()
|
| A D | cspace_twolevel.c | 46 cspace_get_self(void) in cspace_get_self() function
|
| /hyp/vm/virtio_mmio/src/ |
| A D | hypercalls.c | 32 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_configure() 82 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_bind_virq() 114 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_unbind_virq() 137 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_assert_virq() 182 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_frontend_bind_virq() 214 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_frontend_unbind_virq() 237 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_set_dev_features() 283 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_set_queue_num_max() 310 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_get_drv_features() 338 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_mmio_backend_get_queue_info() [all …]
|
| /hyp/vm/vcpu/aarch64/src/ |
| A D | hypercalls.c | 47 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_configure() 88 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_register_write() 111 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_bind_virq() 142 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_unbind_virq() 163 cspace_t *cspace = cspace_get_self(); 223 cspace_t *cspace = cspace_get_self(); 278 cspace_t *cspace = cspace_get_self(); 319 cspace_t *cspace = cspace_get_self(); 362 cspace_t *cspace = cspace_get_self(); 399 cspace_t *cspace = cspace_get_self();
|
| /hyp/vm/vpm_base/src/ |
| A D | hypercalls.c | 24 cspace_t *cspace = cspace_get_self(); in hypercall_vpm_group_configure() 67 cspace_t *cspace = cspace_get_self(); in hypercall_vpm_group_attach_vcpu() 110 cspace_t *cspace = cspace_get_self(); in hypercall_vpm_group_bind_virq() 141 cspace_t *cspace = cspace_get_self(); in hypercall_vpm_group_unbind_virq() 162 cspace_t *cspace = cspace_get_self(); in hypercall_vpm_group_get_state()
|
| /hyp/vm/vic_base/src/ |
| A D | hypercalls.c | 26 cspace_t *cspace = cspace_get_self(); in hypercall_hwirq_bind_virq() 56 cspace_t *cspace = cspace_get_self(); in hypercall_hwirq_unbind_virq() 77 cspace_t *cspace = cspace_get_self(); in hypercall_vic_configure() 124 cspace_t *cspace = cspace_get_self(); in hypercall_vic_attach_vcpu() 166 cspace_t *cspace = cspace_get_self(); in hypercall_vic_bind_msi_source()
|
| /hyp/mem/addrspace/src/ |
| A D | hypercalls.c | 29 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_attach_thread() 78 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_attach_vdma() 101 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_attach_vdevice() 125 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_map() 176 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_unmap() 228 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_update_access() 279 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_configure() 317 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_lookup() 382 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_configure_info_area() 429 cspace_t *cspace = cspace_get_self(); in hypercall_addrspace_configure_vmmio()
|
| /hyp/core/object_standard/src/ |
| A D | hypercalls.c | 21 cspace_t *cspace = cspace_get_self(); in hypercall_object_activate() 41 cspace_t *cspace = cspace_get_self(); in hypercall_object_activate_from()
|
| /hyp/vm/vrtc_pl031/src/ |
| A D | hypercalls.c | 27 cspace_t *cspace = cspace_get_self(); in hypercall_vrtc_configure() 61 cspace_t *cspace = cspace_get_self(); in hypercall_vrtc_set_time_base() 106 cspace_t *cspace = cspace_get_self(); in hypercall_vrtc_attach_addrspace()
|
| /hyp/mem/memextent/src/ |
| A D | hypercalls.c | 27 cspace_t *cspace = cspace_get_self(); in hypercall_memextent_modify() 77 cspace_t *cspace = cspace_get_self(); in hypercall_memextent_configure() 118 cspace_t *cspace = cspace_get_self(); in hypercall_memextent_configure_derive() 169 cspace_t *cspace = cspace_get_self(); in hypercall_memextent_donate_child() 224 cspace_t *cspace = cspace_get_self(); in hypercall_memextent_donate_sibling()
|
| /hyp/core/scheduler_fprr/src/ |
| A D | hypercalls.c | 38 cspace_get_self(), obj_id, CAP_RIGHTS_THREAD_YIELD_TO); in hypercall_scheduler_yield()
|
| /hyp/interfaces/cspace/include/ |
| A D | cspace.h | 9 cspace_get_self(void);
|
| /hyp/vm/virtio_input/src/ |
| A D | hypercalls.c | 32 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_input_configure() 131 cspace_t *cspace = cspace_get_self(); in hypercall_virtio_input_set_data()
|
| /hyp/vm/vcpu_run/src/ |
| A D | vcpu_run.c | 98 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_run() 173 cspace_t *cspace = cspace_get_self(); in hypercall_vcpu_run_check()
|
| /hyp/vm/vgic/src/ |
| A D | distrib.c | 209 cspace_t *cspace = cspace_get_self(); in vgic_handle_addrspace_attach_vdevice() 2878 cspace_t *cspace = cspace_get_self(); in hypercall_vgic_set_mpidr_mapping()
|
Completed in 87 milliseconds