#define NULL
NULL pointer (VOID *)
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
long int random(void)
Generate a pseudo-random number between 0 and 2147483647L or 2147483562?
void srandom(unsigned int seed)
Seed the pseudo-random number generator.