Searched refs:device_bytes (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h137 size_t device_bytes);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c139 lvaddr_t paging_map_device(lpaddr_t device_base, size_t device_bytes) argument

Completed in 81 milliseconds