Searched refs:cr0shadow (Results 1 – 1 of 1) sorted by relevance
831 uint64_t cr0shadow; in get_misc_vmcs() local833 &cr0shadow); in get_misc_vmcs()835 printf("cr0_shadow[%d]\t\t0x%016lx\n", vcpuid, cr0shadow); in get_misc_vmcs()