Home
last modified time | relevance | path

Searched refs:root_pgentry_t (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/x86/
A Dsmpboot.c672 static int clone_mapping(const void *ptr, root_pgentry_t *rpt) in clone_mapping()
782 DEFINE_PER_CPU(root_pgentry_t *, root_pgt);
784 static root_pgentry_t common_pgt;
790 root_pgentry_t *rpt; in setup_cpu_root_pgt()
848 root_pgentry_t *rpt = per_cpu(root_pgt, cpu); in cleanup_cpu_root_pgt()
A Ddomain.c1558 root_pgentry_t *root_pgt = this_cpu(root_pgt); in paravirt_ctxt_switch_to()
/xen/xen/include/asm-x86/x86_64/
A Dpage.h94 typedef l4_pgentry_t root_pgentry_t; typedef
/xen/xen/include/asm-x86/
A Dprocessor.h485 DECLARE_PER_CPU(root_pgentry_t *, root_pgt);
A Dpage.h310 extern root_pgentry_t idle_pg_table[ROOT_PAGETABLE_ENTRIES];

Completed in 12 milliseconds