get_el0
return (get_el0(cntfrq));
val = get_el0(cntpct);
val = get_el0(cntvct);
val = get_el0(cntpct);
val = get_el0(cntvct);
val = get_el0(cntp_ctl);
val = get_el0(cntv_ctl);