Searched defs:pending (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/seL4/src/plat/bcm2837/machine/
H A Dintc.c29 uint32_t pending; local
[all...]
/seL4-l4v-master/seL4/include/drivers/irq/
H A Dbcm2836-armctrl-ic.h128 uint32_t pending; local
/seL4-l4v-master/HOL4/polyml/basis/
H A DWindows.581.sml137 val pending : status value
H A DWindows.sml137 val pending : status value
844 val pending = 0wx103 value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig193 val pending: (ARM_Exception option) ref value
H A Dm0.sml492 val pending = ref (NONE): (ARM_Exception option) ref value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4763 int pending = XPending(display); local
4788 int pending = XtAppPending(DEREFDISPLAYHANDLE(dsHandle)->app_context); local
[all...]

Completed in 72 milliseconds