Searched refs:MAPCACHE_VIRT_START (Results 1 – 2 of 2) sorted by relevance
68 __linear_l1_table[l1_linear_offset(MAPCACHE_VIRT_START + pfn_to_paddr(idx))]173 return (void *)MAPCACHE_VIRT_START + pfn_to_paddr(idx); in map_domain_page()187 ASSERT(va >= MAPCACHE_VIRT_START && va < MAPCACHE_VIRT_END); in unmap_domain_page()195 idx = PFN_DOWN(va - MAPCACHE_VIRT_START); in unmap_domain_page()249 MAPCACHE_VIRT_START + (PERDOMAIN_SLOT_MBYTES << 20)); in mapcache_domain_init()276 int rc = create_perdomain_mapping(d, MAPCACHE_VIRT_START, ents, in mapcache_vcpu_init()349 ASSERT(va >= MAPCACHE_VIRT_START && va < MAPCACHE_VIRT_END); in domain_page_map_to_mfn()
302 #define MAPCACHE_VIRT_START PERDOMAIN_VIRT_SLOT(1) macro303 #define MAPCACHE_VIRT_END (MAPCACHE_VIRT_START + \
Completed in 4 milliseconds