validate_guest_xcr0
bool validate_guest_xcr0(uint64_t, uint64_t);
if (!validate_guest_xcr0(val, vmm_get_host_xcr0())) {