#include <pm_ticket.h>
Definition at line 39 of file pm_ticket.h.
Definition at line 41 of file pm_ticket.h.
Referenced by rsbac_pm().
Definition at line 42 of file pm_ticket.h.
Definition at line 43 of file pm_ticket.h.
Definition at line 44 of file pm_ticket.h.