msr.c File Reference

#include "hal/cpu/msr.h"

Go to the source code of this file.

Functions
void	vxWRSR (uint32_t msr, uint64_t value)
uint64_t	vxRDMSR (uint32_t msr)
void	msrSetFSBase (uint64_t base)
void	msrSetGSBase (uint64_t base)
uintptr_t	msrReadFSBase ()
uintptr_t	msrReadGSBase ()
uintptr_t	msrReadKernelGSBase ()
void	msrSetKernelGSBase (uint64_t base)

Function Documentation

msrReadFSBase()

uintptr_t msrReadFSBase

(

)

Definition at line 27 of file msr.c.

References MSR_FS_BASE, and vxRDMSR().

msrReadGSBase()

uintptr_t msrReadGSBase

(

)

Definition at line 31 of file msr.c.

References MSR_GS_BASE, and vxRDMSR().

Referenced by get_current_core_data().

msrReadKernelGSBase()

uintptr_t msrReadKernelGSBase

(

)

Definition at line 35 of file msr.c.

References MSR_KERNEL_GS_BASE, and vxRDMSR().

msrSetFSBase()

void msrSetFSBase

(

uint64_t

base

)

Definition at line 19 of file msr.c.

References base, MSR_FS_BASE, and vxWRSR().

Referenced by sch_restore_to_next_thread(), syscall_arch_prctl(), and vxSchedulerTick().

msrSetGSBase()

void msrSetGSBase

(

uint64_t

base

)

Definition at line 23 of file msr.c.

References base, MSR_GS_BASE, and vxWRSR().

Referenced by update_core_gs().

msrSetKernelGSBase()

void msrSetKernelGSBase

(

uint64_t

base

)

Definition at line 40 of file msr.c.

References base, MSR_KERNEL_GS_BASE, and vxWRSR().

Referenced by syscall_arch_prctl(), and update_core_gs().

vxRDMSR()

uint64_t vxRDMSR

(

uint32_t

msr

)

Definition at line 13 of file msr.c.

Referenced by apic_read(), apicInitialize(), enable_x2apic(), msrReadFSBase(), msrReadGSBase(), msrReadKernelGSBase(), and syscall_init().

vxWRSR()

void vxWRSR	(	uint32_t	msr,
		uint64_t	value )

Definition at line 3 of file msr.c.

References value.

Referenced by apic_write(), enable_x2apic(), msrSetFSBase(), msrSetGSBase(), msrSetKernelGSBase(), sipi_sequential(), syscall_init(), and vxAPICCreateDeadlineTimer().