Symbol: nested_vmx_check_permission