| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_net.c | 45 static int emul_raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | allocman.c | 466 static int resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) { argument
499 static int resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) { argument
503 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num) { argument
507 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num) { argument
511 allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num) argument
515 allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num) argument
[all...] |
| H A D | bootstrap.c | 199 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice) { argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | virtio_pci.c | 299 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) { argument
|
| H A D | intel.c | 860 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 113 int num = VSPACE_MAP_PAGING_OBJECTS; local
|
| H A D | vspace.c | 152 int num = VSPACE_MAP_PAGING_OBJECTS; local
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 319 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | process.c | 404 static int create_reservations(vspace_t *vspace, int num, sel4utils_elf_region_t regions[]) argument
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | gic_v2.h | 288 static inline virq_t get_gic_vcpu_ctrl_lr(int num) argument
295 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 330 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | main.c | 127 static void free_objects(vka_object_t *objects, unsigned int num) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | clock.c | 185 uint32_t num; member in struct:pll2_regs
|