#include <stdint.h>
#include <stdbool.h>
#include "user.h"
#include <pps.h>
gehe zum Quellcode dieser Datei
Definiert in Zeile 32 der Datei user.c.