Home
last modified time | relevance | path

Searched refs:sel (Results 1 – 4 of 4) sorted by relevance

/kernel/arch/x86/
A Didt.cpp35 static inline void idt_set_segment_sel(struct idt_entry* entry, uint16_t sel) { in idt_set_segment_sel() argument
36 entry->w0 = (entry->w0 & 0x0000ffff) | (sel << 16); in idt_set_segment_sel()
95 uint16_t sel; in idt_setup() local
97 sel = CODE_64_SELECTOR; in idt_setup()
110 idt_set_vector(idt, (uint8_t)i, sel, offset, dpl, typ); in idt_setup()
A Ddescriptor.cpp74 void x86_clear_tss_busy(seg_sel_t sel) { in x86_clear_tss_busy() argument
75 uint index = sel >> 3; in x86_clear_tss_busy()
80 void set_global_desc_64(seg_sel_t sel, uint64_t base, uint32_t limit, in set_global_desc_64() argument
124 uint index = sel >> 3; in set_global_desc_64()
/kernel/arch/x86/include/arch/x86/
A Ddescriptor.h62 void set_global_desc_64(seg_sel_t sel, uint64_t base, uint32_t limit,
70 void x86_clear_tss_busy(seg_sel_t sel);
/kernel/arch/x86/include/arch/
A Dx86.h143 static inline void x86_ltr(uint16_t sel) { in x86_ltr() argument
144 __asm__ __volatile__("ltr %%ax" ::"a"(sel)); in x86_ltr()
204 static inline void cpuid(uint32_t sel, uint32_t* a, uint32_t* b, uint32_t* c, uint32_t* d) { in cpuid() argument
205 __cpuid(sel, *a, *b, *c, *d); in cpuid()
209 static inline void cpuid_c(uint32_t sel, uint32_t sel_c, uint32_t* a, uint32_t* b, uint32_t* c, uin… in cpuid_c() argument
210 __cpuid_count(sel, sel_c, *a, *b, *c, *d); in cpuid_c()

Completed in 7 milliseconds