j
k
j a
j l
On Tue, Jan 24, 2023 at 01:07:38AM -0800, H. Peter Anvin wrote:
Works for me, although I would call it REGS_UNDEFINED myself.
I'll call it REGS_UNDEFINED too, in v3.
Back to the thread
Back to the list
