./machine/msan.h:69:21: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:71:21: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:83:21: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:85:21: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:94:27: error: use of undeclared identifier 'PTE_BASE'
./machine/msan.h:95:23: error: use of undeclared identifier 'PTE_BASE'
./machine/msan.h:128:38: error: use of undeclared identifier 'pmap_pg_nx'
./machine/msan.h:131:16: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:131:42: error: use of undeclared identifier 'L4_SLOT_KMSAN'
./machine/msan.h:133:7: error: implicit declaration of function 'pmap_valid_entry' is invalid in C99 [-Werror,-Wimplicit-function-declaration]
./machine/msan.h:133:24: error: use of undeclared identifier 'L4_BASE'
./machine/msan.h:135:3: error: use of undeclared identifier 'L4_BASE'
./machine/msan.h:137:24: error: use of undeclared identifier 'L3_BASE'
./machine/msan.h:139:3: error: use of undeclared identifier 'L3_BASE'
./machine/msan.h:141:24: error: use of undeclared identifier 'L2_BASE'
./machine/msan.h:143:4: error: use of undeclared identifier 'L2_BASE'
./machine/msan.h:144:8: error: use of undeclared identifier 'pmap_pg_g'
./machine/msan.h:150:3: error: use of undeclared identifier 'L2_BASE'
./machine/msan.h:151:13: error: use of undeclared identifier 'L2_BASE'
ERROR: Failed to make all in "sys/arch/amd64/compile/obj/GENERIC_SYZKALLER"