// SPDX-License-Identifier: GPL-2.0 #include #include int main(void) { numa_available(); return 0; }