Searched refs:CR3_TARGET_VALUE (Results 1 – 2 of 2) sorted by relevance
474 #define CR3_TARGET_VALUE(n) (CR3_TARGET_VALUE0 + (n) * 2) /* n < CR3_TARGET_COUNT */ macro
1898 i, vmr(CR3_TARGET_VALUE(i)), in vmcs_dump_vcpu()1899 i + 1, vmr(CR3_TARGET_VALUE(i + 1))); in vmcs_dump_vcpu()1901 printk("CR3 target%u=%016lx\n", i, vmr(CR3_TARGET_VALUE(i))); in vmcs_dump_vcpu()
Completed in 8 milliseconds