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