Searched refs:vtophys (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/include/arch/arm/machine/
H A Dpmap.h63 #define vtophys(va) pmap_kextract((vm_offset_t)(va)) macro
H A Dpmap-v4.h384 #define _sync_l2(pte, size) cpu_l2cache_wb_range(vtophys(pte), size)
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/
H A Ddmapool.h75 *handle = vtophys(vaddr);
/barrelfish-master/include/arch/aarch64/machine/
H A Dpmap.h51 #define vtophys(va) pmap_kextract((vm_offset_t)(va)) macro
/barrelfish-master/include/arch/x86_64/machine/
H A Dpmap.h266 #define vtophys(va) pmap_kextract(((vm_offset_t) (va))) macro

Completed in 101 milliseconds