apio 3686e03bb7 Cast %p usage to void* ... Apparently, %p only accepts void*, and not any pointer type. Still better than casting a pointer to uint64_t.		2022-10-08 18:27:05 +02:00
..
RSDT.cpp	Cast %p usage to void*	2022-10-08 18:27:05 +02:00
SDT.cpp	Kernel: enable -Wconversion	2022-10-06 17:13:34 +02:00