1 /* SPDX-License-Identifier: LGPL-2.1-or-later */ 2 #pragma once 3 4 #include <inttypes.h> 5 6 uint64_t physical_memory(void); 7 uint64_t physical_memory_scale(uint64_t v, uint64_t max); 8 9 uint64_t system_tasks_max(void); 10 uint64_t system_tasks_max_scale(uint64_t v, uint64_t max); 11