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