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

/barrelfish-master/kernel/arch/armv7/
H A Dstartup_arch.c471 lpaddr_t device_base, device_length; local
472 first_device_region(&device_base, &device_length);
474 device_base, device_base + (device_length - 1));
490 caps_create_new(ObjType_DevFrame, device_base, device_length,
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c139 lvaddr_t paging_map_device(lpaddr_t device_base, size_t device_bytes) argument
142 if (device_base < KERNEL_OFFSET) {
143 return device_base + KERNEL_OFFSET;
145 return device_base;

Completed in 18 milliseconds