Symbol: KERNEL_CODE_SELECTOR
src/system/boot/platform/bios_ia32/interrupts.cpp
100
= (KERNEL_CODE_SELECTOR << 16) | (0x0000ffff & (addr_t)function);
src/system/kernel/arch/x86/32/descriptors.cpp
232
tss->cs = KERNEL_CODE_SELECTOR;
src/system/kernel/arch/x86/32/descriptors.cpp
55
gate1 = (KERNEL_CODE_SELECTOR << 16) | (0x0000ffff & addr);
src/system/kernel/arch/x86/32/syscalls.cpp
62
x86_write_msr(IA32_MSR_SYSENTER_CS, KERNEL_CODE_SELECTOR);
src/system/kernel/arch/x86/64/descriptors.cpp
296
fSelector(KERNEL_CODE_SELECTOR),
src/system/kernel/arch/x86/64/syscalls.cpp
112
x86_write_msr(IA32_MSR_SYSENTER_CS, KERNEL_CODE_SELECTOR);
src/system/kernel/arch/x86/64/syscalls.cpp
84
| ((uint64)(KERNEL_CODE_SELECTOR) << 32));