everyone including ChibiOS-Contrib has a version of 'pid.h' so we use unique file name to avoid drama
Definition in file efi_pid.h.
Go to the source code of this file.