MEMTYPE_AVAILABLE 71 boot/arch/arm64/include/arch/boot.h MEMTYPE_AVAILABLE, MEMTYPE_AVAILABLE 71 kernel/arch/arm64/include/arch/boot/boot.h MEMTYPE_AVAILABLE,