#include <pm_ticket.h>
Definition at line 243 of file pm_ticket.h.
Definition at line 245 of file pm_ticket.h.
Referenced by rsbac_pm().