/*
* Calculate string length. Include final null terminating character if there is
* one, or ends at first fault. Disabling page faults ensures that we can safely
/*
* Calculate string length. Include final null terminating character if there is
* one, or ends at first fault. Disabling page faults ensures that we can safely