| /hyp/arch/armv8/include/asm/ |
| A D | cache.h | 59 #define CACHE_DEFINE_ARRAY_OP(type, elements, name, op) \ argument 60 static inline void cache_##name(type(*x)[elements]) \ 65 #define CACHE_DEFINE_CLEAN_ARRAY(type, elements, name) \ argument 66 CACHE_DEFINE_ARRAY_OP(type, elements, clean_##name, CVAC) 67 #define CACHE_DEFINE_INVALIDATE_ARRAY(type, elements, name) \ argument 68 CACHE_DEFINE_ARRAY_OP(type, elements, invalidate_##name, IVAC) 70 CACHE_DEFINE_ARRAY_OP(type, elements, clean_invalidate_##name, CIVAC) 73 static inline void cache_##name(type *x) \ 78 #define CACHE_DEFINE_CLEAN(type, name) CACHE_DEFINE_OP(type, clean_##name, CVAC) argument 80 CACHE_DEFINE_OP(type, invalidate_##name, IVAC) [all …]
|
| /hyp/core/object_standard/src/ |
| A D | hypercalls.c | 22 object_type_t type; in hypercall_object_activate() local 25 cspace, cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_object_activate() 31 err = object_activate(type, o.r); in hypercall_object_activate() 32 object_put(type, o.r); in hypercall_object_activate() 42 object_type_t type; in hypercall_object_activate_from() local 54 dest_cspace, cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); 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/mem/memdb/src/ |
| A D | memdb_tests.c | 88 memdb_data->ranges[i].type = type; in get_inserted_ranges() 97 object, type); in get_inserted_ranges() 162 memdb_type_t type; in memdb_test1() local 229 assert(res.r.type == type); in memdb_test1() 422 memdb_type_t type = test_data->ranges[i].type; in memdb_test_insert_update() local 451 assert(res.r.type == type); in memdb_test_insert_update() 479 type); in memdb_test_insert_update() 744 memdb_type_t type = test_data->ranges[i].type; in memdb_test_update() local 757 memdb_type_t type = test_data->ranges[i].type; in memdb_test_update() local 763 assert(res.r.type == type); in memdb_test_update() [all …]
|
| /hyp/interfaces/cpulocal/include/ |
| A D | cpulocal.h | 29 #define CPULOCAL_DECLARE_EXTERN(type, name) \ argument 30 extern type cpulocal_##name[PLATFORM_MAX_CORES] 31 #define CPULOCAL_DECLARE(type, name) type cpulocal_##name[PLATFORM_MAX_CORES] argument 32 #define CPULOCAL_DECLARE_STATIC(type, name) \ argument 33 static type cpulocal_##name[PLATFORM_MAX_CORES]
|
| /hyp/misc/gpt/tests/ |
| A D | host_tests.c | 153 trigger_gpt_value_add_offset_event(gpt_type_t type, gpt_value_t *value, in trigger_gpt_value_add_offset_event() argument 156 if ((type == GPT_TYPE_TEST_A) || (type == GPT_TYPE_TEST_B) || in trigger_gpt_value_add_offset_event() 157 (type == GPT_TYPE_TEST_C)) { in trigger_gpt_value_add_offset_event() 158 gpt_tests_add_offset(type, value, offset); in trigger_gpt_value_add_offset_event() 165 trigger_gpt_values_equal_event(gpt_type_t type, gpt_value_t x, gpt_value_t y) in trigger_gpt_values_equal_event() argument 169 if ((type == GPT_TYPE_TEST_A) || (type == GPT_TYPE_TEST_B) || in trigger_gpt_values_equal_event() 170 (type == GPT_TYPE_TEST_C)) { in trigger_gpt_values_equal_event()
|
| /hyp/mem/memdb/tests/ |
| A D | test.c | 186 type); in test1() 285 type); in test2() 405 type); in test3() 562 type); in test4() 737 type); in test5() 885 type); in test6() 1024 type); in test7() 1199 type); in test8() 1389 type); in test9() 1542 type); in test10() [all …]
|
| /hyp/interfaces/util/include/ |
| A D | util.h | 70 #define util_sizeof_member(type, member) sizeof(((type *)NULL)->member) argument 73 #define util_offset_in_range(offset, type, member) \ argument 74 (((offset) >= offsetof(type, member)) && \ 76 offsetof(type, member) + util_sizeof_member(type, member)))
|
| /hyp/core/vdevice/src/ |
| A D | vdevice.c | 22 assert(vdevice->type != VDEVICE_TYPE_NONE); in vdevice_attach_phys() 42 vdevice_handle_gpt_values_equal(gpt_type_t type, gpt_value_t x, gpt_value_t y) in vdevice_handle_gpt_values_equal() argument 44 assert(type == GPT_TYPE_VDEVICE); in vdevice_handle_gpt_values_equal() 81 assert(vdevice->type != VDEVICE_TYPE_NONE); in vdevice_attach_vmaddr() 89 .type = GPT_TYPE_VDEVICE, in vdevice_attach_vmaddr() 113 assert(vdevice->type != VDEVICE_TYPE_NONE); in vdevice_detach_vmaddr() 119 .type = GPT_TYPE_VDEVICE, in vdevice_detach_vmaddr()
|
| A D | access.c | 25 if ((res.e != OK) || (res.r.type != MEMDB_TYPE_EXTENT)) { in vdevice_access_phys() 44 ret = trigger_vdevice_access_event(vdevice->type, vdevice, offset_r.r, in vdevice_access_phys() 66 } else if (lookup_ret.entry.type == GPT_TYPE_VDEVICE) { in vdevice_access_ipa() 73 ret = trigger_vdevice_access_event(vdevice->type, vdevice, in vdevice_access_ipa() 77 assert(lookup_ret.entry.type == GPT_TYPE_EMPTY); in vdevice_access_ipa()
|
| /hyp/mem/memextent/src/ |
| A D | memextent.c | 50 switch (type) { in memextent_validate_attrs() 131 if (!memextent_validate_attrs(type, memtype, access)) { in memextent_configure() 136 me->type = type; in memextent_configure() 191 if (!memextent_validate_attrs(type, memtype, access)) { in memextent_configure_derive() 209 me->type = type; in memextent_configure_derive() 270 ret = trigger_memextent_activate_event(me->type, me); in memextent_handle_object_activate_memextent() 410 extent->type, extent, addrspace, vm_base, map_attrs); in memextent_map() 473 ret = trigger_memextent_unmap_event(extent->type, extent, in memextent_unmap() 690 extent->type, extent, addrspace, vm_base, offset, size, in memextent_update_access_partial() 801 memextent_type_t type) in memextent_derive() argument [all …]
|
| A D | hypercalls.c | 78 object_type_t type; in hypercall_memextent_configure() local 82 &type); in hypercall_memextent_configure() 87 if (type != OBJECT_TYPE_MEMEXTENT) { in hypercall_memextent_configure() 106 object_put(type, o.r); in hypercall_memextent_configure() 119 object_type_t type; in hypercall_memextent_configure_derive() local 132 &type); in hypercall_memextent_configure_derive() 137 if (type != OBJECT_TYPE_MEMEXTENT) { in hypercall_memextent_configure_derive() 157 object_put(type, o.r); in hypercall_memextent_configure_derive() 260 memextent_donate_type_t type = in hypercall_memextent_donate() local 262 if (type == MEMEXTENT_DONATE_TYPE_TO_CHILD) { in hypercall_memextent_donate() [all …]
|
| /hyp/vm/vgic/src/ |
| A D | util.c | 19 vgic_irq_type_t type; in vgic_get_irq_type() local 22 type = VGIC_IRQ_TYPE_SGI; in vgic_get_irq_type() 25 type = VGIC_IRQ_TYPE_PPI; in vgic_get_irq_type() 28 type = VGIC_IRQ_TYPE_SPI; in vgic_get_irq_type() 33 type = VGIC_IRQ_TYPE_PPI_EXT; in vgic_get_irq_type() 36 type = VGIC_IRQ_TYPE_SPI_EXT; in vgic_get_irq_type() 41 type = VGIC_IRQ_TYPE_LPI; in vgic_get_irq_type() 45 type = VGIC_IRQ_TYPE_RESERVED; in vgic_get_irq_type() 48 return type; in vgic_get_irq_type()
|
| /hyp/vm/vpm_base/src/ |
| A D | hypercalls.c | 31 object_type_t type; in hypercall_vpm_group_configure() local 34 &type); in hypercall_vpm_group_configure() 39 if (type != OBJECT_TYPE_VPM_GROUP) { in hypercall_vpm_group_configure() 57 object_put(type, o.r); in hypercall_vpm_group_configure() 76 object_type_t type; in hypercall_vpm_group_attach_vcpu() local 78 cspace, vcpu_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_vpm_group_attach_vcpu() 83 if (type != OBJECT_TYPE_THREAD) { in hypercall_vpm_group_attach_vcpu() 98 object_put(type, o.r); in hypercall_vpm_group_attach_vcpu()
|
| /hyp/core/cspace_twolevel/src/ |
| A D | hypercalls.c | 111 object_type_t type; in hypercall_cspace_configure() local 114 cspace, cspace_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_cspace_configure() 119 if (type != OBJECT_TYPE_CSPACE) { in hypercall_cspace_configure() 137 object_put(type, o.r); in hypercall_cspace_configure() 147 object_type_t type; in hypercall_cspace_attach_thread() local 150 cspace, thread_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_cspace_attach_thread() 156 if (type != OBJECT_TYPE_THREAD) { in hypercall_cspace_attach_thread() 185 object_put(type, o.r); in hypercall_cspace_attach_thread()
|
| A D | cspace_twolevel.c | 191 (type == OBJECT_TYPE_ANY)) { in cspace_check_cap_data() 307 object_type_t type; in cspace_destroy_cap_table() local 327 type = cap_info_get_type(&data.info); in cspace_destroy_cap_table() 335 object_put(type, data.object); in cspace_destroy_cap_table() 453 assert(type != OBJECT_TYPE_ANY); in cspace_lookup_object() 499 assert(type != NULL); in cspace_lookup_object_any() 527 *type = obj_type; in cspace_lookup_object_any() 590 object_type_t type) in cspace_create_master_cap() argument 598 assert(type != OBJECT_TYPE_ANY); in cspace_create_master_cap() 712 object_type_t type; in cspace_delete_cap() local [all …]
|
| /hyp/vm/vic_base/src/ |
| A D | hypercalls.c | 78 object_type_t type; in hypercall_vic_configure() local 81 cspace, vic_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_vic_configure() 86 if (type != OBJECT_TYPE_VIC) { in hypercall_vic_configure() 114 object_put(type, o.r); in hypercall_vic_configure() 133 object_type_t type; in hypercall_vic_attach_vcpu() local 135 cspace, vcpu_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_vic_attach_vcpu() 140 if (type != OBJECT_TYPE_THREAD) { in hypercall_vic_attach_vcpu() 155 object_put(type, o.r); in hypercall_vic_attach_vcpu()
|
| /hyp/interfaces/cspace/include/ |
| A D | cspace.h | 17 cspace_lookup_object(cspace_t *cspace, cap_id_t cap_id, object_type_t type, 26 cap_rights_generic_t rights, object_type_t *type); 32 object_type_t type);
|
| /hyp/interfaces/memdb/include/ |
| A D | memdb.h | 41 uintptr_t object, memdb_type_t type); 46 memdb_walk(uintptr_t object, memdb_type_t type, memdb_fnptr fn, void *arg); 51 memdb_range_walk(uintptr_t object, memdb_type_t type, paddr_t start,
|
| /hyp/misc/gpt/src/ |
| A D | gpt.c | 91 return (a.type == b.type) && in entries_equal() 186 .type = pte_type, in pte_and_entry_equal() 213 if (old.type != GPT_TYPE_EMPTY) { in pte_will_conflict() 521 if (type != GPT_TYPE_EMPTY) { in update_curr_pte() 673 if (type == GPT_TYPE_EMPTY) { in handle_write() 777 if (type == GPT_TYPE_EMPTY) { in handle_read() 783 type = GPT_TYPE_EMPTY; in handle_read() 805 .type = type, in handle_read() 829 if (curr_entry.type == cmp_entry.type) { in handle_read() 929 .type = GPT_TYPE_EMPTY, in gpt_entry_empty() [all …]
|
| /hyp/core/base/templates/ |
| A D | hypcontainers.h.tmpl | 12 #for $name, $type, $offset in $d.layout 13 #if $type.is_contained 15 ${d.type_name}_container_of_${name}(${type.pointer.gen_declaration('ptr')}) {
|
| A D | hypconstants.h.tmpl | 10 #for $name, $type, $ofs in $d.layout 13 #if not $type.is_array 16 \#define ${prefix}_${upper_name}(n) ($offset + ($type.base_type.size * (n))) 18 #if $type != $type.basic_type 19 #set d = getattr($type.basic_type, 'definition', None)
|
| /hyp/mem/addrspace/src/ |
| A D | hypercalls.c | 30 object_type_t type; in hypercall_addrspace_attach_thread() local 39 if (type != OBJECT_TYPE_THREAD) { in hypercall_addrspace_attach_thread() 68 object_put(type, o.r); in hypercall_addrspace_attach_thread() 280 object_type_t type; in hypercall_addrspace_configure() local 284 &type); in hypercall_addrspace_configure() 289 if (type != OBJECT_TYPE_ADDRSPACE) { in hypercall_addrspace_configure() 307 object_put(type, o.r); in hypercall_addrspace_configure() 383 object_type_t type; in hypercall_addrspace_configure_info_area() local 387 &type); in hypercall_addrspace_configure_info_area() 392 if (type != OBJECT_TYPE_ADDRSPACE) { in hypercall_addrspace_configure_info_area() [all …]
|
| /hyp/mem/memdb_gpt/src/ |
| A D | memdb.c | 180 (count_t)ADDR_SIZE, type, obj); in init_level() 260 memdb_type_t type; in unlock_levels() local 294 &guard_shifts, &type, &next); in unlock_levels() 297 MEMDB_NUM_ENTRIES, type, 0, in unlock_levels() 304 guard_shifts, type, next); in unlock_levels() 567 addr, object, type, prev_object, in go_down_levels() 628 index, addr, object, type, in go_down_levels() 780 level_type = type; in add_address() 1656 MEMDB_NUM_ENTRIES, type, in check_address() 1894 object, type); in memdb_is_ownership_contiguous() [all …]
|
| /hyp/core/cspace_twolevel/include/ |
| A D | cspace_object.h | 6 cspace_get_rights_all(object_type_t type);
|
| /hyp/interfaces/util/include/types/ |
| A D | bitmap.h | 12 array(BITMAP_NUM_WORDS(bits)) type register_t(__VA_ARGS__)
|