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

/barrelfish-master/lib/pager/
H A Dpager.c5 #define VSPACE_BEGIN ((lvaddr_t)1UL*1024*1024*1024) // 1G macro
35 if (vaddr > VSPACE_BEGIN) {
55 printf("handle_pagefault: invalid access to %p (< 0x%" PRIxLVADDR ")\n", addr, VSPACE_BEGIN);
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c32 #define VSPACE_BEGIN ((lvaddr_t)(256UL << 20) * (disp_get_core_id() + 1)) macro
999 walk_base + walk_size > VSPACE_BEGIN) { // Ensure mappings are larger than VSPACE_BEGIN
1263 vregion->base = VSPACE_BEGIN;

Completed in 90 milliseconds