Searched defs:is_read (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/
H A Dsysreg_exception.c37 static int ignore_sysreg_exception(vm_vcpu_t *vcpu, sysreg_t *sysreg, bool is_read) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgpio_utils.c24 bool is_read; member in struct:gpio_callback_token

Completed in 83 milliseconds