# $Id: .scm-settings 93557 2022-02-02 23:15:11Z vboxsync $
## @file
# Source code massager settings for the VMM.
#

#
# Copyright (C) 2017-2022 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#


/VMMAll/IEMAllInstructionsPython.py: --license-ose-dual

--filter-out-files /testcase/dev.tar.gz

/include/PGMGstDefs.h: --no-fix-header-guards
/VMMR0/PGMR0Bth.h: --no-fix-header-guards
/VMMR3/PGMPhysRWTmpl.h: --no-fix-header-guards
/VMMRC/PGMRCBth.h: --no-fix-header-guards
/VMMRC/PGMRCShw.h: --no-fix-header-guards
/VMMRC/PGMRCGst.h: --no-fix-header-guards
/VMMAll/PGMAllBth.h: --no-fix-header-guards
/VMMAll/PGMAllGst.h: --no-fix-header-guards
/VMMAll/PGMAllShw.h: --no-fix-header-guards
/testcase/tstVMStruct.h: --no-fix-header-guards

/*.h: --guard-relative-to-dir . --guard-prefix VMM_INCLUDED_SRC_
/VMMR3/cpus/*.h: --guard-relative-to-dir VMMR3/cpus --guard-prefix VBOX_CPUDB_

# Forbid PAGE_SIZE, PAGE_SIZE and PAGE_OFFSET_MASK w/o GUEST_ or HOST_ prefix.
/*.cpp: --only-guest-host-page
/*.h:   --only-guest-host-page
# Except in the pool where more care/work is needed.
/VMMAll/PGMAllPool.cpp: --no-page-restrictions
/VMMR3/PGMPool.cpp:     --no-page-restrictions
/testcase/tstVMStructSize.cpp:     --no-page-restrictions

# Forbit ASMMemIsZeroPage and ASMMemZeroPage.
/*.cpp: --no-ASMMemPage-use
/*.h:   --no-ASMMemPage-use
# Except in the pool where more care/work is needed.
/VMMR3/PGMPool.cpp:     --unrestricted-ASMMemPage-use
/VMMAll/PGMAllPool.cpp: --unrestricted-ASMMemPage-use