pti_print_if_insecure
pti_print_if_insecure("disabled on XEN PV.");
pti_print_if_insecure("disabled on command line.");