Searched refs:cr4shadow (Results 1 – 1 of 1) sorted by relevance
846 uint64_t cr4shadow; in get_misc_vmcs() local848 &cr4shadow); in get_misc_vmcs()850 printf("cr4_shadow[%d]\t\t0x%016lx\n", vcpuid, cr4shadow); in get_misc_vmcs()