ANDROID: gki_defconfig: Enable PAGE_PINNER

Enable the page pinner for both ARM64 and x86 to keep the configs
consistent. The original patch enabled it only on ARM64.

Bug: 240196534
Change-Id: Id69e8a49ffdc9983db9a592c5c74b15acadc7ad3
(cherry picked from commit 8b4906523a13d5f36def9abc31d07e8484d50cdc)
Signed-off-by: Georgi Djakov <quic_c_gdjako@quicinc.com>
This commit is contained in:
Georgi Djakov
2024-03-06 10:22:59 -08:00
committed by Suren Baghdasaryan
parent 55e076e328
commit 14eb63aa9f
2 changed files with 2 additions and 0 deletions
+1
View File
@@ -755,6 +755,7 @@ CONFIG_UBSAN_TRAP=y
# CONFIG_UBSAN_BOOL is not set
# CONFIG_UBSAN_ENUM is not set
CONFIG_PAGE_OWNER=y
CONFIG_PAGE_PINNER=y
CONFIG_DEBUG_MEMORY_INIT=y
CONFIG_MEM_ALLOC_PROFILING=y
# CONFIG_MEM_ALLOC_PROFILING_ENABLED_BY_DEFAULT is not set
+1
View File
@@ -684,6 +684,7 @@ CONFIG_UBSAN_TRAP=y
# CONFIG_UBSAN_BOOL is not set
# CONFIG_UBSAN_ENUM is not set
CONFIG_PAGE_OWNER=y
CONFIG_PAGE_PINNER=y
CONFIG_DEBUG_MEMORY_INIT=y
CONFIG_MEM_ALLOC_PROFILING=y
# CONFIG_MEM_ALLOC_PROFILING_ENABLED_BY_DEFAULT is not set