Searched defs:xen_write_cr3_init (Results 1 – 2 of 2) sorted by relevance
1469 static void __init xen_write_cr3_init(unsigned long cr3) in xen_write_cr3_init() function2179 static void __init xen_write_cr3_init(unsigned long cr3) in xen_write_cr3_init() function
1365 static void __init xen_write_cr3_init(unsigned long cr3) in xen_write_cr3_init() function