Searched refs:CR3 (Results 1 – 3 of 3) sorted by relevance
153 #define CR3 0x00003000 /* concept 100 */ macro
187 #define CR3 0x00003000 macro
343 // printf("CR3: %llx\n", get_reg(vcpu, HV_X86_CR3));