From 34e7b2c990212006339ade56e5e8ada4afd533f1 Mon Sep 17 00:00:00 2001
From: jsg <jsg@openbsd.org>
Date: Wed, 4 Sep 2024 14:24:10 +0000
Subject: [PATCH] list the other doc pspvar.h mentions, add publication numbers
 ok jmc@

---
 share/man/man4/psp.4 | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/share/man/man4/psp.4 b/share/man/man4/psp.4
index d707aab3dba..dbe20f3f7ad 100644
--- a/share/man/man4/psp.4
+++ b/share/man/man4/psp.4
@@ -1,4 +1,4 @@
-.\"	$OpenBSD: psp.4,v 1.1 2024/09/04 11:12:53 jsg Exp $
+.\"	$OpenBSD: psp.4,v 1.2 2024/09/04 14:24:10 jsg Exp $
 .\"
 .\" Copyright (c) 2024 Jonathan Gray <jsg@openbsd.org>
 .\"
@@ -34,9 +34,12 @@ driver provides an interface to the AMD Platform Security Processor.
 .Xr ccp 4 ,
 .Xr vmd 8
 .Rs
-.%Q AMD
-.%T Secure Encrypted Virtualization API Version 0.24
-.%D April 2020
+.%T Secure Encrypted Virtualization API
+.%O Publication #55766
+.Re
+.Rs
+.%T SEV Secure Nested Paging Firmware ABI Specification
+.%O Publication #56860
 .Re
 .Sh HISTORY
 The
-- 
2.20.1