-.\" $OpenBSD: psp.4,v 1.3 2024/09/16 22:15:43 bluhm Exp $
+.\" $OpenBSD: psp.4,v 1.4 2024/09/17 04:12:57 jsg Exp $
.\"
.\" Copyright (c) 2024 Jonathan Gray <jsg@openbsd.org>
.\"
.\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
.\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
.\"
-.Dd $Mdocdate: September 16 2024 $
+.Dd $Mdocdate: September 17 2024 $
.Dt PSP 4
.Os
.Sh NAME
.Va asid
indicates the guest's address space identifier (ASID).
.Pp
-The state of the guest is inidcated by
+The state of the guest is indicated by
.Va state .
The following values are defined:
.Bl -tag -width PSP_GSTATE_RUNNING -compact
.It PSP_GSTATE_UNINIT
-The guest is unitialized.
+The guest is uninitialized.
.It PSP_GSTATE_LUPDATE
The guest is currently being launched and plaintext data is imported.
.It PSP_GSTATE_LSECRET
.Va measure
and
.Va measure_nonce .
-These contain the measurment and nonce generated by the PSP.
+These contain the measurement and nonce generated by the PSP.
.It Dv PSP_IOC_LAUNCH_FINISH
This command finalizes the launch of the guest identified by
.Va handle .