115 #define VADDR (1UL << 32)  macro
135 	mov_rdi(VADDR + 4096),
136 	mov_rsi((1ULL << 47) - 4096 - VADDR - 4096),
180 	h.e_entry = VADDR + sizeof(struct elf64_hdr) + sizeof(struct elf64_phdr);  in make_exe()
195 	ph.p_vaddr = VADDR;  in make_exe()
351 			VADDR, VADDR + PAGE_SIZE,  in main()
431 				VADDR, VADDR + PAGE_SIZE);  in main()
514 		q.query_addr = VADDR;  in main()
522 		assert(q.query_addr == VADDR);  in main()
526 		assert(q.vma_start == VADDR);  in main()
527 		assert(q.vma_end == VADDR + PAGE_SIZE);  in main()
543 		q.query_addr = VADDR - 1;  in main()
553 		q.query_addr = VADDR - 1;  in main()
559 		assert(q.query_addr == VADDR - 1);  in main()
561 		assert(q.vma_start == VADDR);  in main()
562 		assert(q.vma_end == VADDR + PAGE_SIZE);  in main()
567 		q.query_addr = VADDR + PAGE_SIZE; /* point right after the VMA */  in main()
577 		q.query_addr = VADDR;  in main()