Searched refs:xen_set_segment_base (Results 1 – 5 of 5) sorted by relevance
195 xen_set_segment_base(SEGBASE_GS_KERNEL, (ulong_t)cpu); in boot_kdi_tmpinit()
1049 xen_set_segment_base(int reg, ulong_t value) in xen_set_segment_base() function
625 xen_set_segment_base(SEGBASE_GS_KERNEL, (ulong_t)&cpus[0]); in init_gdt()638 xen_set_segment_base(SEGBASE_FS, addr); in init_gdt()639 xen_set_segment_base(SEGBASE_GS_USER, addr); in init_gdt()640 xen_set_segment_base(SEGBASE_GS_USER_SEL, 0); in init_gdt()
660 xen_set_segment_base(SEGBASE_GS_KERNEL, kgsbase); in reset_sregs()
153 extern void xen_set_segment_base(int, ulong_t);