if !HasVirtExt() || IsSecure() || !CurrentModeIsNotUser() then UNDEFINED;
View all questions in Arm Development Studio forum