Home
last modified time | relevance | path

Searched refs:assert_debug (Results 1 – 5 of 5) sorted by relevance

/hyp/interfaces/util/include/
A Dassert.h43 #define assert_debug assert macro
45 #define assert_debug(x) (void)assert_if_const(x) macro
/hyp/vm/vcpu/aarch64/src/
A Dcontext_switch.c88 assert_debug(CPTR_EL2_E2H1_get_FPEN( in vcpu_context_switch_load()
92 assert_debug(CPTR_EL2_E2H0_get_TFP( in vcpu_context_switch_load()
99 assert_debug(HCR_EL2_get_E2H(&thread->vcpu_regs_el2.hcr_el2)); in vcpu_context_switch_load()
100 assert_debug(!HCR_EL2_get_TGE(&thread->vcpu_regs_el2.hcr_el2)); in vcpu_context_switch_load()
102 assert_debug(HCR_EL2_get_VM(&thread->vcpu_regs_el2.hcr_el2)); in vcpu_context_switch_load()
/hyp/core/partition_standard/armv8/src/
A Dphys_access.c121 assert_debug(partition_phys_valid(paddr, size)); in partition_phys_map()
/hyp/misc/log_standard/src/
A Dlog.c55 assert_debug(hyp_log.buffer_size == (index_t)LOG_BUFFER_SIZE); in log_init()
/hyp/vm/vgic/src/
A Ddeliver.c115 assert_debug(i < CPU_GICH_LR_COUNT); in vgic_read_lr_state()
128 assert_debug(i < CPU_GICH_LR_COUNT); in vgic_write_lr()
130 assert_debug((current != NULL) && (current->kind == THREAD_KIND_VCPU)); in vgic_write_lr()
970 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_redeliver_lr()
1885 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_list_irq()
2450 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_handle_eoi_lr()
2888 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_try_to_list_pending()
3003 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_sync_one()
3834 assert_debug(lr < CPU_GICH_LR_COUNT); in vgic_handle_vcpu_trap_wfi()

Completed in 27 milliseconds