Searched defs:bar (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/cogent/c-refinement/tests/
H A Dfun2.c22 static inline unit_t bar(unit_t a1) function
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/
H A Dvmm_pci_helper.c20 int bar = 0; local
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dtest_object.c253 json_t *object, *foo, *bar, *baz; local
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dpci_helper.c153 static uint32_t pci_make_bar(pci_bar_emulation_t *emul, int bar) argument
210 int bar = (offset - PCI_BASE_ADDRESS_0) / 4; local
226 int bar = (offset - PCI_BASE_ADDRESS_0) / 4; local
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c94 uint8_t bar; local

Completed in 43 milliseconds