Searched refs:PID_INVALID (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dbadge.h25 #define PID_INVALID (ASID_MAX_ID + 1) macro
/seL4-refos-master/apps/process_server/src/
H A Dbadge.h25 #define PID_INVALID (ASID_MAX_ID + 1) macro

Completed in 34 milliseconds