intel_aet_read_event
int intel_aet_read_event(int domid, u32 rmid, void *arch_priv, u64 *val)
static inline int intel_aet_read_event(int domid, u32 rmid, void *arch_priv, u64 *val)