Searched defs:va (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/api/ |
| H A D | faults.c | 38 word_t ipa, va; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/pci/ |
| H A D | rumphyper_dma.c | 42 unsigned long va; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | ioremap.c | 34 unsigned long va; local
77 unsigned long va = (unsigned long)virt_addr; local
|
| H A D | mm.c | 364 static pgentry_t *get_pgt(unsigned long va) argument
399 pgentry_t *need_pgt(unsigned long va) argument
505 minios_map_frames(unsigned long va, const unsigned long *mfns, unsigned long n, unsigned long stride, unsigned long incr, domid_t id, int *err, unsigned long prot) argument
576 unsigned long va = allocate_ondemand(n, alignment); local
590 unmap_frames(unsigned long va, unsigned long num_frames) argument
656 unsigned long in_va, va; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | xenio.h | 43 unsigned long va; member in struct:privcmd_mmap_entry
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 82 seL4_Word va; local
|
| /seL4-camkes-master/projects/util_libs/libutils/src/ |
| H A D | zf_log.c | 433 va_list va; local
447 va_list va; local
350 put_msg(zf_log_output_ctx *const ctx, const char *const fmt, va_list va) argument
463 va_list va; local
479 va_list va; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_32/ |
| H A D | hypercall-x86_32.h | 220 HYPERVISOR_update_va_mapping( unsigned long va, pte_t new_val, unsigned long flags) argument
263 HYPERVISOR_update_va_mapping_otherdomain( unsigned long va, pte_t new_val, unsigned long flags, domid_t domid) argument
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_64/ |
| H A D | hypercall-x86_64.h | 222 HYPERVISOR_update_va_mapping( unsigned long va, pte_t new_val, unsigned long flags) argument
264 HYPERVISOR_update_va_mapping_otherdomain( unsigned long va, pte_t new_val, unsigned long flags, domid_t domid) argument
|
Completed in 168 milliseconds