It’s just exposing a couple bits in ACTLR_EL1 to userspace, nothing to it really