Searched refs:hsr_val (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/
H A Dsysreg_exception.c25 .sysreg_match_mask = { .hsr_val = SYSREG_MATCH_ALL_MASK },
32 .sysreg_match_mask = { .hsr_val = SYSREG_OP0_MASK },
46 match_a.hsr_val &= sysreg_entry->sysreg_match_mask.hsr_val;
72 sysreg_op.hsr_val = hsr;
H A Dsysreg_exception.h32 uint32_t hsr_val; member in union:sysreg

Completed in 76 milliseconds