/barrelfish-2018-10-04/lib/libc/string/ |
H A D | strlen.c | 87 long va, vb; local
|
/barrelfish-2018-10-04/include/pci/confspace/ |
H A D | mackerelpci.h | 28 lvaddr_t va = pcie_confspace_access(base); local 39 lvaddr_t va = pcie_confspace_access(base); local 55 lvaddr_t va = pcie_confspace_access(base); local 68 lvaddr_t va local 81 lvaddr_t va = pcie_confspace_access(base); local 100 lvaddr_t va = pcie_confspace_access(base); local [all...] |
/barrelfish-2018-10-04/lib/lwip/src/barrelfish/ |
H A D | idc_barrelfish.h | 41 void *va; member in struct:buffer_desc
|
/barrelfish-2018-10-04/usr/drivers/solarflare/ |
H A D | helper.c | 25 void *va; local
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | paging_init.c | 30 static void map_kernel_section_lo(lvaddr_t va, union arm_l1_entry l1) argument 36 static void map_kernel_section_hi(lvaddr_t va, union arm_l1_entry l1) argument
|
H A D | paging.c | 77 static void map_kernel_section_hi(lvaddr_t va, union arm_l1_entry l1) argument 248 static void paging_print_l1_pte(lvaddr_t va, union arm_l1_entry pte) argument 677 paging_map_user_pages_l1(lvaddr_t table_base, lvaddr_t va, lpaddr_t pa) argument [all...] |
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | helper.c | 36 void *va; local
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | helper.c | 36 void *va; local
|
H A D | devif_backend_e10k.c | 293 void* va; local 430 void* va; local
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_parallel.c | 223 value va; local 380 value va; local
|
H A D | manual_examples.c | 44 p_print_array(value va, type ta, argument
|
/barrelfish-2018-10-04/include/procon/ |
H A D | procon.h | 69 void *va; member in struct:shared_pool_private
|
/barrelfish-2018-10-04/include/vm/ |
H A D | memguard.c | 250 v2sizep(vm_offset_t va) argument 265 v2sizev(vm_offset_t va) argument
|
H A D | vm_glue.c | 294 vm_sync_icache(vm_map_t map, vm_offset_t va, vm_offset_t sz) argument
|
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | devif_backend_e1000.c | 34 void *va; local 428 void* va; local
|
/barrelfish-2018-10-04/usr/drivers/megaraid/ |
H A D | megaraid_vsic.c | 85 void *va; local 104 void * va = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, local
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | core_state.h | 31 genvaddr_t va; member in struct:v2pmap
|
/barrelfish-2018-10-04/lib/ahci/ |
H A D | ahci_dma_pool.c | 158 void *va; local
|
/barrelfish-2018-10-04/lib/devif/backends/net/ip/ |
H A D | devif_backend_ip.c | 44 void* va; member in struct:region_vaddr [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/udp/ |
H A D | devif_backend_udp.c | 41 void* va; member in struct:region_vaddr [all...] |
/barrelfish-2018-10-04/usr/tests/devif/ |
H A D | debug_test.c | 43 static void* va; variable
|
H A D | bench.c | 38 static void* va; variable
|
/barrelfish-2018-10-04/lib/zlib/ |
H A D | gzio.c | 606 va_list va; local [all...] |
/barrelfish-2018-10-04/usr/drivers/tulip/ |
H A D | tulip.c | 209 void *va; local
|
/barrelfish-2018-10-04/usr/tests/e10ktest/ |
H A D | e10ktest_latencies.c | 303 void *va; local
|