intel_aet_read_event
int intel_aet_read_event(int domid, u32 rmid, void *arch_priv, u64 *val);
return intel_aet_read_event(hdr->id, rmid, arch_priv, val);