/hafnium-2.8-rc0/src/arch/aarch64/plat/interrupts/ |
A D | gicv3.c | 93 CHECK(false); in is_sgi_ppi() 124 CHECK(proc_num < MAX_CPUS); in gicv3_get_interrupt_type() 156 CHECK(false); in gicv3_get_interrupt_type() 171 CHECK(proc_num < MAX_CPUS); in gicv3_enable_interrupt() 199 CHECK(proc_num < MAX_CPUS); in gicv3_disable_interrupt() 236 CHECK(core_pos < MAX_CPUS); in gicv3_set_interrupt_priority() 261 CHECK(proc_num < MAX_CPUS); in gicv3_set_interrupt_type() 273 CHECK(false); in gicv3_set_interrupt_type() 392 CHECK(core_id < MAX_CPUS); in find_core_pos() 429 CHECK(is_sgi_ppi(sgi_id)); in gicv3_send_sgi() [all …]
|
/hafnium-2.8-rc0/src/ |
A D | sp_pkg.c | 58 CHECK(mm_identity_map(stage1_locked, pkg_start, in sp_pkg_init_v1() 110 CHECK(mm_identity_map(stage1_locked, pkg_start, pkg_end, in sp_pkg_init_v2() 114 CHECK(mm_identity_map(stage1_locked, pkg_end, in sp_pkg_init_v2() 161 CHECK(mm_unmap(stage1_locked, pkg_start, pkg_end, ppool)); in sp_pkg_init() 177 CHECK(mm_unmap(stage1_locked, pa_from_va(pkg_start), to_unmap_end, in sp_pkg_deinit()
|
A D | vm.c | 62 CHECK(el0_partition == false); in vm_init() 67 CHECK(id >= HF_VM_ID_OFFSET); in vm_init() 83 CHECK(vm->vcpus != NULL); in vm_init() 241 CHECK(index < MAX_VMS); in vm_get_wait_entry() 463 CHECK(ppool != NULL); in vm_notifications_init_per_vcpu_notifications() 516 CHECK(vm_locked.vm != NULL); in vm_are_notifications_pending() 694 CHECK(vm_locked.vm != NULL); in vm_notifications_update_bindings() 719 CHECK(vm_locked.vm != NULL); in vm_notifications_validate_bound_sender() 737 CHECK(vm_locked.vm != NULL); in vm_notifications_validate_per_vcpu() 760 CHECK(vm_locked.vm != NULL); in vm_notifications_partition_set_pending() [all …]
|
A D | cpu.c | 54 CHECK(cpu_indx < MAX_CPUS); 63 CHECK(cpu_indx < MAX_CPUS); in cpu_get_buffer_size() 105 CHECK(c->stack_bottom == &callstacks[0][STACK_SIZE]); in cpu_module_init()
|
A D | vm_test.cc | 162 CHECK(vm_get_count() >= 3); in TEST_F() 224 CHECK(vm_get_count() >= 2); in TEST_F() 292 CHECK(vm_get_count() >= 2); in TEST_F() 368 CHECK(vm_get_count() >= 2); in TEST_F() 432 CHECK(vm_get_count() >= 2); in TEST_F() 532 CHECK(MAX_CPUS == 4); in TEST_F() 585 CHECK(vm_get_count() >= 2); in TEST_F() 661 CHECK(vm_get_count() >= 1); in TEST_F()
|
A D | load.c | 60 CHECK(mm_unmap(stage1_locked, to, to_end, ppool)); in copy_to_unmapped() 169 CHECK(dev_region.interrupt_count <= in load_common() 185 CHECK(k <= VM_MANIFEST_MAX_INTERRUPTS); in load_common() 285 CHECK(manifest_vm->partition.run_time_el == EL1); in load_primary() 411 CHECK(!string_is_empty(&manifest_vm->secondary.fdt_filename)); in load_secondary_fdt() 721 CHECK(!is_el0_partition || manifest_vm->secondary.vcpu_count == 1); in load_secondary() 773 CHECK(vm_identity_map(vm_locked, layout_text_begin(), in load_secondary() 777 CHECK(vm_identity_map(vm_locked, layout_rodata_begin(), in load_secondary() 781 CHECK(vm_identity_map(vm_locked, layout_data_begin(), in load_secondary() 785 CHECK(arch_stack_mm_init(mm_lock_ptable_unsafe(&vm->ptable), in load_secondary() [all …]
|
A D | vcpu.c | 85 CHECK(index < UINT16_MAX); in vcpu_index() 113 CHECK(vm->id != HF_PRIMARY_VM_ID); in vcpu_secondary_reset_and_start()
|
A D | fdt.c | 143 CHECK(lenp >= 0); in fdt_read_property() 258 CHECK(lenp >= 0); in fdt_find_child()
|
A D | fdt_handler.c | 149 CHECK(fdt_parse_number(&data, addr_size, &addr)); in fdt_find_memory_ranges() 150 CHECK(fdt_parse_number(&data, size_size, &len)); in fdt_find_memory_ranges()
|
A D | ffa_memory.c | 956 CHECK(ffa_region_group_identity_map( in ffa_send_check_update() 971 CHECK(ffa_region_group_identity_map( in ffa_send_check_update() 1079 CHECK(ffa_region_group_identity_map( in ffa_retrieve_check_update() 1259 CHECK(ffa_region_group_identity_map( in ffa_relinquish_check_update() 1274 CHECK(ffa_region_group_identity_map( in ffa_relinquish_check_update() 1867 CHECK(ffa_region_group_identity_map( in ffa_memory_tee_send() 2119 CHECK(ffa_region_group_identity_map( in ffa_memory_tee_send_continue() 2487 CHECK(memory_region != NULL); in ffa_memory_retrieve() 2700 CHECK(memory_region != NULL); in ffa_memory_retrieve_continue() 2840 CHECK(memory_region != NULL); in ffa_memory_relinquish() [all …]
|
A D | memiter.c | 166 CHECK(memiter_advance(it, v)); in memiter_consume()
|
A D | std.c | 109 CHECK(ptr != NULL); in memchr()
|
A D | api.c | 82 CHECK((vm != NULL) && (current != NULL)); in api_ffa_get_vm_vcpu() 112 CHECK(next != NULL); in api_switch_to_vm() 485 CHECK(!uuid_is_null || vm_count != 0); in api_ffa_partition_info_get() 1059 CHECK(list_empty(&vm->mailbox.waiter_list)); in api_waiter_result() 1122 CHECK(mm_unmap(mm_stage1_locked, pa_send_begin, pa_send_end, in api_vm_configure_stage1() 2689 CHECK(!current->processing_secure_interrupt); in api_ffa_msg_send_direct_resp() 3572 CHECK(receiver_locked.vm != NULL); in api_ffa_notification_get() 3779 CHECK((mode & (MM_MODE_R | MM_MODE_W | MM_MODE_X)) != in api_ffa_mem_perm_get() 3786 CHECK((mode & (MM_MODE_NG | MM_MODE_USER)) == in api_ffa_mem_perm_get() 3791 CHECK(mode & MM_MODE_R); in api_ffa_mem_perm_get() [all …]
|
/hafnium-2.8-rc0/inc/hf/ |
A D | ffa_internal.h | 34 CHECK(receiver_index < memory_region->receiver_count); in ffa_composite_constituent_offset() 35 CHECK(memory_region->receivers[receiver_index] in ffa_composite_constituent_offset()
|
A D | check.h | 20 #define CHECK(x) \ macro
|
/hafnium-2.8-rc0/src/arch/aarch64/plat/ffa/ |
A D | hypervisor.c | 80 CHECK(ret.func == FFA_SUCCESS_32); in plat_ffa_rxtx_map_spmc() 94 CHECK(other_world_vm != NULL); in plat_ffa_init() 415 CHECK(ret != NULL); in plat_ffa_notifications_update_bindings_forward() 547 CHECK(ids != NULL); in plat_ffa_notification_info_get_forward() 548 CHECK(ids_count != NULL); in plat_ffa_notification_info_get_forward() 549 CHECK(lists_sizes != NULL); in plat_ffa_notification_info_get_forward() 550 CHECK(lists_count != NULL); in plat_ffa_notification_info_get_forward() 792 CHECK(false); in plat_ffa_handle_secure_interrupt() 849 CHECK(tee != NULL); in plat_ffa_partition_info_get_forward() 850 CHECK(vm_count < MAX_VMS); in plat_ffa_partition_info_get_forward() [all …]
|
A D | spmc.c | 99 CHECK(vms->nwd_vms == nwd_vms); in nwd_vms_unlock() 128 CHECK(!vm_id_is_current_world(vm_id)); in plat_ffa_nwd_vm_create() 880 CHECK(vm_locked.vm != NULL); in plat_ffa_notifications_bitmap_create() 1300 CHECK(target_vm_found); in plat_ffa_find_target_vcpu() 1305 CHECK(target_vcpu != NULL); in plat_ffa_find_target_vcpu() 1503 CHECK(target_vcpu->regs_available); in plat_ffa_signal_secure_interrupt_sel1() 1599 CHECK(*next != current); in plat_ffa_handle_secure_interrupt_from_normal_world() 1675 CHECK(*next != NULL); in plat_ffa_normal_world_resume() 1879 CHECK(false); in plat_ffa_parse_partition_manifest() 2039 CHECK(next != NULL); in plat_ffa_unwind_nwd_call_chain_interrupt() [all …]
|
/hafnium-2.8-rc0/test/hftest/ |
A D | ctrl_fdt.c | 29 CHECK(memiter_restrict(&bootargs, 1)); in hftest_ctrl_start()
|
/hafnium-2.8-rc0/src/arch/aarch64/hypervisor/ |
A D | ffa.c | 58 CHECK(spmc_id == HF_SPMC_VM_ID); in arch_ffa_init()
|
A D | debug_el1.c | 152 CHECK(rt_register < NUM_GP_REGS + 1); in debug_el1_process_access()
|
A D | cpu.c | 116 CHECK(has_vhe_support()); in arch_regs_reset()
|
A D | perfmon.c | 167 CHECK(rt_register < NUM_GP_REGS + 1); in perfmon_process_access()
|
/hafnium-2.8-rc0/src/arch/aarch64/ |
A D | mm.c | 548 CHECK((attrs & STAGE1_AP(STAGE1_READWRITE)) == in arch_mm_stage1_attrs_to_mode() 569 CHECK((attrs & STAGE1_ATTRINDX(STAGE1_NORMALINDX)) == in arch_mm_stage1_attrs_to_mode() 699 CHECK(pa_bits <= 48); in arch_mm_stage1_max_level_set()
|
/hafnium-2.8-rc0/test/vmapi/el0_partitions/services/ |
A D | memory.c | 383 CHECK(composite != NULL); in TEST_SERVICE() 433 CHECK(composite != NULL); in TEST_SERVICE() 620 CHECK(composite != NULL); in TEST_SERVICE()
|
/hafnium-2.8-rc0/test/vmapi/primary_with_secondaries/services/ |
A D | memory.c | 487 CHECK(composite != NULL); in TEST_SERVICE() 536 CHECK(composite != NULL); in TEST_SERVICE() 719 CHECK(composite != NULL); in TEST_SERVICE()
|