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

/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c382 lpaddr_t src_lpaddr = gen_phys_to_local_phys(src_gpaddr); local
388 assert(aligned(src_lpaddr, 1u << 12));
389 assert((src_lpaddr < dest_lpaddr) || (src_lpaddr >= dest_lpaddr + 32));
402 entry->d.base = (src_lpaddr) >> 12;
461 lpaddr_t src_lpaddr = gen_phys_to_local_phys(src_gpaddr); local
467 assert(aligned(src_lpaddr, 1u << 12));
468 assert((src_lpaddr < dest_lpaddr) || (src_lpaddr >= dest_lpaddr + 32));
475 entry->d.base = (src_lpaddr) >> 1
534 lpaddr_t src_lpaddr = gen_phys_to_local_phys(src_gpaddr); local
599 lpaddr_t src_lpaddr = gen_phys_to_local_phys(get_address(src) + offset); local
[all...]
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c386 lpaddr_t src_lpaddr = gen_phys_to_local_phys(get_address(src) + offset); local
387 if ((src_lpaddr & (LARGE_PAGE_SIZE - 1))) {
402 entry->section.base_address = (src_lpaddr + i * BYTES_PER_SECTION) >> 20;
456 lpaddr_t src_lpaddr = gen_phys_to_local_phys(src_gpaddr) + offset; local
458 assert(aligned(src_lpaddr, 1u << 10));
459 assert((src_lpaddr < dest_lpaddr) || (src_lpaddr >= dest_lpaddr + 16384));
469 (src_lpaddr + i * ARM_L2_TABLE_BYTES) >> 10;
527 lpaddr_t src_lpaddr = gen_phys_to_local_phys(get_address(src) + offset); local
528 if ((src_lpaddr
[all...]

Completed in 39 milliseconds