Lines Matching defs:xen_tables
494 vaddr_t our_tables, xen_tables;
507 xen_tables = xen_start_info.pt_base;
508 our_tables = xen_tables + (xen_start_info.nr_pt_frames * PAGE_SIZE);
514 mapsize = xen_tables - KERNTEXTOFF;
576 if (our_tables < xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE))
577 our_tables = xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE);
590 xen_bootstrap_tables(xen_tables, our_tables,
594 xen_bootstrap_tables(our_tables, xen_tables,
598 memset((void *)(xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE)), 0,
604 return (xen_tables + ((nL2 + PDIRSZ) * PAGE_SIZE));
Indexes created Thu Oct 02 14:10:14 GMT 2025