#include "hardware-thread-id.h"
#include <spi/include/kernel/location.h>
Go to the source code of this file.
Definition at line 19 of file hardware-thread-id.c.