Searched refs:validate_guest_xcr0 (Results 1 – 3 of 3) sorted by relevance
110 validate_guest_xcr0(uint64_t val, uint64_t limit_mask) in validate_guest_xcr0() function
1219 if (!validate_guest_xcr0(val, vmm_get_host_xcr0())) { in vm_set_register()
438 bool validate_guest_xcr0(uint64_t, uint64_t);