Searched refs:rdcr3 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h58 #define amd64_cr3_rawrd(_d) rdcr3()
89 static inline uint64_t rdcr3(void) function
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c459 uint64_t cr0 = rdcr0(), cr3 = rdcr3(), cr4 = rdcr4();

Completed in 91 milliseconds