| /hyp/arch/aarch64/templates/ |
| A D | hypregisters.h.tmpl | 49 : "=r" (val) 75 __asm__ volatile("msr $r.name, %[r]" : 79 : [r] "rz" (raw) 87 #for r in $registers 90 #if $r.is_readable 94 #if $r.need_ordered 99 #if $r.is_volatile 103 #if $r.need_ordered 108 #if $r.is_writable 112 #if $r.need_ordered [all …]
|
| /hyp/core/scheduler_fprr/src/ |
| A D | scheduler_tests.c | 73 object_put_thread(ret.r); in create_thread() 122 sched_test_stack_end = range.r.base + (range.r.size - 1U); in tests_scheduler_init() 144 destroy_thread(ret.r); in tests_scheduler_start() 156 destroy_thread(ret.r); in tests_scheduler_start() 167 scheduler_yield_to(ret.r); in tests_scheduler_start() 170 destroy_thread(ret.r); in tests_scheduler_start() 190 destroy_thread(ret.r); in tests_scheduler_start() 211 destroy_thread(ret.r); in tests_scheduler_start() 233 scheduler_yield_to(ret.r); in tests_scheduler_start() 234 destroy_thread(ret.r); in tests_scheduler_start() [all …]
|
| A D | hypercalls.c | 44 if (result.r != thread_get_self()) { in hypercall_scheduler_yield() 45 scheduler_yield_to(result.r); in hypercall_scheduler_yield() 48 object_put_thread(result.r); in hypercall_scheduler_yield()
|
| /hyp/vm/vic_base/src/ |
| A D | hypercalls.c | 42 err = trigger_vic_bind_hwirq_event(hwirq_r.r->action, vic_r.r, in hypercall_hwirq_bind_virq() 43 hwirq_r.r, virq); in hypercall_hwirq_bind_virq() 45 object_put_vic(vic_r.r); in hypercall_hwirq_bind_virq() 47 object_put_hwirq(hwirq_r.r); in hypercall_hwirq_bind_virq() 65 err = trigger_vic_unbind_hwirq_event(hwirq_r.r->action, hwirq_r.r); in hypercall_hwirq_unbind_virq() 67 object_put_hwirq(hwirq_r.r); in hypercall_hwirq_unbind_virq() 90 vic_t *vic = o.r.vic; in hypercall_vic_configure() 114 object_put(type, o.r); in hypercall_vic_configure() 155 object_put(type, o.r); in hypercall_vic_attach_vcpu() 157 object_put_vic(vic_r.r); in hypercall_vic_attach_vcpu() [all …]
|
| /hyp/interfaces/util/include/ |
| A D | bitmap.h | 97 register_t r = 0; \ 99 if (r == 0U) { \ 100 r = g((b), (w)); \ 103 if (r != 0U) { \ 104 index_t i = compiler_ctz(r); \ 105 r &= ~(register_t)1 << i; \ 108 r = 0; \ 116 util_cpp_unique_ident(r), b, bitmap__get_word, \ 122 util_cpp_unique_ident(r), b, ~bitmap__get_word, \ 128 util_cpp_unique_ident(r), b, \ [all …]
|
| /hyp/core/irq/src/ |
| A D | irq.c | 74 irq_table_l1 = ptr_r.r; in irq_handle_boot_cold_init() 77 irq_table = ptr_r.r; in irq_handle_boot_cold_init() 93 irq_msi_bitmap = ptr_r.r; in irq_handle_boot_cold_init() 120 (hwirq_t *_Atomic *)ptr_r.r, in irq_find_entry() 127 ptr_r.r, alloc_size); in irq_find_entry() 291 platform_irq_priority_drop(irq_r.r); in disable_unhandled_irq() 292 platform_irq_deactivate(irq_r.r); in disable_unhandled_irq() 330 assert(hwirq->irq == irq_r.r); in irq_interrupt_dispatch_one() 333 irq_r.r, hwirq); in irq_interrupt_dispatch_one() 336 platform_irq_deactivate(irq_r.r); in irq_interrupt_dispatch_one() [all …]
|
| /hyp/mem/memextent/src/ |
| A D | hypercalls.c | 42 memextent_t *memextent = m.r; in hypercall_memextent_modify() 106 object_put(type, o.r); in hypercall_memextent_configure() 128 memextent_t *parent = m.r; in hypercall_memextent_configure_derive() 157 object_put(type, o.r); in hypercall_memextent_configure_derive() 189 if (child.r->parent != m.r) { in hypercall_memextent_donate_child() 193 object_put_memextent(m.r); in hypercall_memextent_donate_child() 202 if (child.r->header.partition != p.r) { in hypercall_memextent_donate_child() 206 object_put_partition(p.r); in hypercall_memextent_donate_child() 240 err = memextent_donate_sibling(m1.r, m2.r, offset, size); in hypercall_memextent_donate_sibling() 242 object_put_memextent(m2.r); in hypercall_memextent_donate_sibling() [all …]
|
| /hyp/mem/addrspace/src/ |
| A D | hypercalls.c | 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() 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() 307 object_put(type, o.r); in hypercall_addrspace_configure() 418 object_put(type, o.r); in hypercall_addrspace_configure_info_area() [all …]
|
| /hyp/ipc/msgqueue/src/ |
| A D | hypercalls.c | 35 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_bind_send_virq() 43 vic_t *vic = v.r; in hypercall_msgqueue_bind_send_virq() 67 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_bind_receive_virq() 75 vic_t *vic = v.r; in hypercall_msgqueue_bind_receive_virq() 98 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_unbind_send_virq() 119 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_unbind_receive_virq() 141 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_send() 148 ret.not_full = res.r; in hypercall_msgqueue_send() 168 msgqueue_t *msgqueue = p.r; in hypercall_msgqueue_receive() 174 ret.size = res.r.size; in hypercall_msgqueue_receive() [all …]
|
| A D | msgqueue_common.c | 26 ret.r = true; in msgqueue_send_msg() 35 ret.r = false; in msgqueue_send_msg() 46 ret.r = false; in msgqueue_send_msg() 77 ret.r = false; in msgqueue_send_msg() 94 ret.r.size = 0U; in msgqueue_receive_msg() 95 ret.r.notempty = true; in msgqueue_receive_msg() 104 ret.r.notempty = false; in msgqueue_receive_msg() 118 ret.r.notempty = false; in msgqueue_receive_msg() 131 ret.r.size = size; in msgqueue_receive_msg() 151 ret.r.notempty = false; in msgqueue_receive_msg()
|
| /hyp/vm/vpm_base/src/ |
| A D | hypercalls.c | 43 vpm_group_t *vpm_group = o.r.vpm_group; in hypercall_vpm_group_configure() 57 object_put(type, o.r); in hypercall_vpm_group_configure() 87 thread_t *thread = o.r.thread; in hypercall_vpm_group_attach_vcpu() 91 err = vpm_attach(vpm_group_r.r, thread, index); in hypercall_vpm_group_attach_vcpu() 98 object_put(type, o.r); in hypercall_vpm_group_attach_vcpu() 100 object_put_vpm_group(vpm_group_r.r); in hypercall_vpm_group_attach_vcpu() 118 vpm_group_t *vpm_group = p.r; in hypercall_vpm_group_bind_virq() 126 vic_t *vic = v.r; in hypercall_vpm_group_bind_virq() 149 vpm_group_t *vpm_group = p.r; in hypercall_vpm_group_unbind_virq() 170 vpm_group_t *vpm_group = p.r; in hypercall_vpm_group_get_state()
|
| /hyp/core/cspace_twolevel/src/ |
| A D | hypercalls.c | 30 cspace_t *cspace = c.r; in hypercall_cspace_delete_cap_from() 52 cspace_t *src_cspace = c.r; in hypercall_cspace_copy_cap_from() 60 cspace_t *dest_cspace = c.r; in hypercall_cspace_copy_cap_from() 66 ret.new_cap = new.r; in hypercall_cspace_copy_cap_from() 97 cspace_t *cspace = c.r; in hypercall_cspace_revoke_caps_from() 124 cspace_t *target_cspace = o.r.cspace; in hypercall_cspace_configure() 137 object_put(type, o.r); in hypercall_cspace_configure() 161 thread_t *thread = o.r.thread; in hypercall_cspace_attach_thread() 170 cspace_t *target_cspace = c.r; in hypercall_cspace_attach_thread() 185 object_put(type, o.r); in hypercall_cspace_attach_thread()
|
| A D | cspace_tests.c | 47 test_cspace = cspace_ret.r; in tests_cspace_init() 59 test_cspace_master_cap = cap_ret.r; in tests_cspace_init() 73 assert(ret.r.cspace == test_cspace); in tests_cspace_cap_lookup() 74 object_put_cspace(ret.r.cspace); in tests_cspace_cap_lookup() 107 cap[i] = cap_ret.r; in tests_cspace_start()
|
| /hyp/core/object_standard/src/ |
| A D | hypercalls.c | 31 err = object_activate(type, o.r); in hypercall_object_activate() 32 object_put(type, o.r); in hypercall_object_activate() 51 cspace_t *dest_cspace = c.r; in hypercall_object_activate_from() 60 err = object_activate(type, o.r); in hypercall_object_activate_from() 61 object_put(type, o.r); in hypercall_object_activate_from()
|
| /hyp/ipc/doorbell/src/ |
| A D | hypercalls.c | 32 doorbell_t *doorbell = p.r; in hypercall_doorbell_bind_virq() 40 vic_t *vic = v.r; in hypercall_doorbell_bind_virq() 63 doorbell_t *doorbell = p.r; in hypercall_doorbell_unbind_virq() 84 doorbell_t *doorbell = p.r; in hypercall_doorbell_send() 90 ret.old_flags = res.r; in hypercall_doorbell_send() 112 doorbell_t *doorbell = p.r; in hypercall_doorbell_receive() 118 ret.old_flags = res.r; in hypercall_doorbell_receive() 140 doorbell_t *doorbell = p.r; in hypercall_doorbell_reset() 162 doorbell_t *doorbell = p.r; in hypercall_doorbell_mask()
|
| /hyp/vm/virtio_mmio/src/ |
| A D | hypercalls.c | 42 memextent_t *memextent = m.r; in hypercall_virtio_mmio_configure() 70 object_put(type, o.r); in hypercall_virtio_mmio_configure() 91 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_backend_bind_virq() 99 vic_t *vic = v.r; in hypercall_virtio_mmio_backend_bind_virq() 123 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_backend_unbind_virq() 145 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_backend_assert_virq() 191 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_frontend_bind_virq() 199 vic_t *vic = v.r; in hypercall_virtio_mmio_frontend_bind_virq() 223 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_frontend_unbind_virq() 245 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_mmio_backend_set_dev_features() [all …]
|
| /hyp/core/boot/src/ |
| A D | rel_init.c | 45 Elf_Addr *r = (Elf_Addr *)(rel->r_offset + addr_offset); in boot_rel_fixup() local 46 *r += rel_offset; in boot_rel_fixup() 55 Elf_Addr *r = (Elf_Addr *)(rela->r_offset + addr_offset); in boot_rel_fixup() local 56 *r = rel_offset + (Elf_Addr)rela->r_addend; in boot_rel_fixup()
|
| /hyp/mem/memdb_bitmap/src/ |
| A D | memdb.c | 180 *ret.r = (memdb_level_bitmap_t){ in memdb_create_bitmap() 209 *ret.r = (memdb_level_table_t){ in memdb_create_table() 269 atomic_init(&ret.r->objects[i], in memdb_duplicate_bitmap() 276 atomic_init(&ret.r->bitmap[i], in memdb_duplicate_bitmap() 625 new_bitmap_ret.r, in memdb_update_table_entry_level_bitmap() 680 assert(!is_contig_r.r); in memdb_update_table_entry_split_bitmap() 716 assert(!is_contig_r.r); in memdb_update_table_entry_split_table() 721 (uintptr_t)table_ret.r); in memdb_update_table_entry_split_table() 1162 } else if (ret.r != 0U) { in memdb_walk_bitmap() 1165 error_t err = fn(entry_start - ret.r, ret.r, arg); in memdb_walk_bitmap() [all …]
|
| /hyp/vm/vcpu/aarch64/src/ |
| A D | hypercalls.c | 58 object_put(type, result.r); in hypercall_vcpu_configure() 97 thread_t *vcpu = result.r; in hypercall_vcpu_register_write() 119 thread_t *vcpu = result.r; in hypercall_vcpu_bind_virq() 127 vic_t *vic = v.r; in hypercall_vcpu_bind_virq() 150 thread_t *vcpu = result.r; in hypercall_vcpu_unbind_virq() 190 thread_t *vcpu = result.r; 237 thread_t *vcpu = result.r; 292 thread_t *vcpu = result.r; 328 thread_t *vcpu = result.r; 371 thread_t *vcpu = result.r; [all …]
|
| /hyp/platform/arm_arch_timer_lp/src/ |
| A D | platform_timer_lp.c | 111 hyp_timer_cnt = (cntbase_t *)range.r.base; in platform_timer_lp_handle_boot_cold_init() 112 virt_hyp_timer_size = range.r.size; in platform_timer_lp_handle_boot_cold_init() 159 if (object_activate_hwirq(ret.r) != OK) { in platform_timer_lp_handle_boot_hypervisor_start() 163 irq_enable_shared(ret.r); in platform_timer_lp_handle_boot_hypervisor_start() 206 memextent_t *parent = m.r; in platform_timer_lp_handle_rootvm_init()
|
| /hyp/vm/virtio_input/src/ |
| A D | hypercalls.c | 40 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_input_configure() 71 (void)memset_s(alloc_ret.r, alloc_size, 0, alloc_size); in hypercall_virtio_input_configure() 74 (virtio_input_ev_bits_t *)alloc_ret.r; in hypercall_virtio_input_configure() 101 (void)memset_s(alloc_ret.r, alloc_size, 0, alloc_size); in hypercall_virtio_input_configure() 104 (virtio_input_absinfo_t *)alloc_ret.r; in hypercall_virtio_input_configure() 139 virtio_mmio_t *virtio_mmio = p.r; in hypercall_virtio_input_set_data()
|
| /hyp/core/tests/src/ |
| A D | tests.c | 50 if (object_activate_thread(ret.r) != OK) { in tests_thread_create() 54 return ret.r; in tests_thread_create() 89 partition_virt_to_phys(hyp_partition, (uintptr_t)ret.r); in tests_add_root_partition_heap() 121 util_balign_up(stack_range.r.base + 1U, THREAD_STACK_MAP_ALIGN); in tests_alloc_stack_space()
|
| /hyp/mem/memextent_sparse/src/ |
| A D | memextent_tests.c | 50 if (addrspace_configure(ret.r, vmid) != OK) { in create_addrspace() 54 if (object_activate_addrspace(ret.r) != OK) { in create_addrspace() 58 return ret.r; in create_addrspace() 83 if (memextent_configure_derive(ret.r, parent, offset, size, in create_memextent() 88 if (memextent_configure(ret.r, offset, size, attrs) != OK) { in create_memextent() 93 if (object_activate_memextent(ret.r) != OK) { in create_memextent() 97 return ret.r; in create_memextent() 106 if ((ret->e != OK) && (size >= ret->r.size)) { in phys_range_walk() 107 ret->r.base = phys; in phys_range_walk() 121 phys_range_result_t ret = { .r = range, .e = ERROR_NOMEM }; in get_free_phys_range() [all …]
|
| /hyp/vm/rootvm/src/ |
| A D | rootvm_init.c | 108 crt_env = (rt_env_data_t *)alloc_ret.r; in rootvm_init_env_data() 117 qcbor_enc_ctxt = (qcbor_enc_ctxt_t *)alloc_ret.r; in rootvm_init_env_data() 192 cspace_t *root_cspace = cspace_ret.r; in rootvm_init() 213 thread_t *root_thread = (thread_t *)thd_ret.r; in rootvm_init() 251 QCBOREncode_AddUInt64ToMap(qcbor_enc_ctxt, "cspace_capid", capid_ret.r); in rootvm_init() 265 capid_ret.r); in rootvm_init() 273 QCBOREncode_AddUInt64ToMap(qcbor_enc_ctxt, "vcpu_capid", capid_ret.r); in rootvm_init() 274 crt_env->vcpu_capid = capid_ret.r; in rootvm_init()
|
| /hyp/vm/vrtc_pl031/src/ |
| A D | hypercalls.c | 41 vrtc_t *vrtc = vrtc_r.r; in hypercall_vrtc_configure() 69 vrtc_t *vrtc = vrtc_r.r; in hypercall_vrtc_set_time_base() 114 vrtc_t *vrtc = vrtc_r.r; in hypercall_vrtc_attach_addrspace() 122 addrspace_t *addrspace = addrspace_r.r; in hypercall_vrtc_attach_addrspace()
|