#include <pm_ticket.h>
Definition at line 47 of file pm_ticket.h.
Definition at line 49 of file pm_ticket.h.
Referenced by rsbac_pm().
Definition at line 50 of file pm_ticket.h.
Definition at line 51 of file pm_ticket.h.
Definition at line 52 of file pm_ticket.h.