400422edee24dcbb377417b13ed03412cc3a226bvboxsync; $Id$
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;; @file
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; IPRT - Internal RTAssert header
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; Copyright (C) 2009-2011 Oracle Corporation
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; This file is part of VirtualBox Open Source Edition (OSE), as
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; available from http://www.virtualbox.org. This file is free software;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; you can redistribute it and/or modify it under the terms of the GNU
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; General Public License (GPL) as published by the Free Software
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; Foundation, in version 2 as it comes in the "COPYING" file of the
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; VirtualBox OSE distribution. VirtualBox OSE is distributed in the
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; The contents of this file may alternatively be used under the terms
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; of the Common Development and Distribution License Version 1.0
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; (CDDL) only, as it comes in the "COPYING.CDDL" file of the
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; VirtualBox OSE distribution, in which case the provisions of the
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; CDDL are applicable instead of those of the GPL.
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; You may elect to license modified versions of this file under the
400422edee24dcbb377417b13ed03412cc3a226bvboxsync; terms and conditions of either the GPL or the CDDL or both.
400422edee24dcbb377417b13ed03412cc3a226bvboxsync;
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%ifndef ___internal_bignum_mac___
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%define ___internal_bignum_mac___
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%include "iprt/asmdefs.mac"
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%if ARCH_BITS == 64
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_SIZE 8
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_BITS (RTBIGNUM_ELEMENT_SIZE * 8)
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_BIT(iBit) RT_BIT_64(iBit)
972c3ecf2c929440ce70e51af38ba021101c8f7bvboxsync %define RTBIGNUM_ELEMENT_PRE qword
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%else
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_SIZE 4
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_BITS (RTBIGNUM_ELEMENT_SIZE * 8)
400422edee24dcbb377417b13ed03412cc3a226bvboxsync %define RTBIGNUM_ELEMENT_BIT(iBit) RT_BIT_32(iBit)
972c3ecf2c929440ce70e51af38ba021101c8f7bvboxsync %define RTBIGNUM_ELEMENT_PRE dword
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%endif
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsyncstruc RTBIGNUM
400422edee24dcbb377417b13ed03412cc3a226bvboxsync .pauElements RTCCPTR_RES 1
400422edee24dcbb377417b13ed03412cc3a226bvboxsync .cUsed resd 1
400422edee24dcbb377417b13ed03412cc3a226bvboxsync .cAllocated resd 1
400422edee24dcbb377417b13ed03412cc3a226bvboxsync .uReserved resd 1
400422edee24dcbb377417b13ed03412cc3a226bvboxsync .fFlags resd 1
400422edee24dcbb377417b13ed03412cc3a226bvboxsyncendstruc
400422edee24dcbb377417b13ed03412cc3a226bvboxsync
400422edee24dcbb377417b13ed03412cc3a226bvboxsync%endif
400422edee24dcbb377417b13ed03412cc3a226bvboxsync