get_cr4_reserved_bits (reference) in projects: hypervisor

Searched refs:get_cr4_reserved_bits (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A D	virtual_cr.h	`15 uint64_t get_cr4_reserved_bits(void);`
/hypervisor/arch/x86/guest/
A D	vcpuid.c	`425 uint64_t cr4_reserved_mask = get_cr4_reserved_bits(); in set_vcpuid_extfeat() 731 uint64_t cr4_reserved_mask = get_cr4_reserved_bits(); in guest_cpuid_01h()`
A D	virtual_cr.c	`600 uint64_t get_cr4_reserved_bits(void) in get_cr4_reserved_bits() function`

Completed in 5 milliseconds