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

/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h56 #define CR3_PCID_MASK 0xfff macro

Completed in 33 milliseconds