;------------------------------------------------------------------------------\r
; VOID\r
; EFIAPI\r
-; IoReadFifo8 (\r
+; SevIoReadFifo8 (\r
; IN UINTN Port, // rcx\r
; IN UINTN Size, // rdx\r
; OUT VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoReadFifo8)\r
-ASM_PFX(IoReadFifo8):\r
+global ASM_PFX(SevIoReadFifo8)\r
+ASM_PFX(SevIoReadFifo8):\r
xchg rcx, rdx\r
xchg rdi, r8 ; rdi: buffer address; r8: save rdi\r
\r
;------------------------------------------------------------------------------\r
; VOID\r
; EFIAPI\r
-; IoReadFifo16 (\r
+; SevIoReadFifo16 (\r
; IN UINTN Port, // rcx\r
; IN UINTN Size, // rdx\r
; OUT VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoReadFifo16)\r
-ASM_PFX(IoReadFifo16):\r
+global ASM_PFX(SevIoReadFifo16)\r
+ASM_PFX(SevIoReadFifo16):\r
xchg rcx, rdx\r
xchg rdi, r8 ; rdi: buffer address; r8: save rdi\r
\r
;------------------------------------------------------------------------------\r
; VOID\r
; EFIAPI\r
-; IoReadFifo32 (\r
+; SevIoReadFifo32 (\r
; IN UINTN Port, // rcx\r
; IN UINTN Size, // rdx\r
; OUT VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoReadFifo32)\r
-ASM_PFX(IoReadFifo32):\r
+global ASM_PFX(SevIoReadFifo32)\r
+ASM_PFX(SevIoReadFifo32):\r
xchg rcx, rdx\r
xchg rdi, r8 ; rdi: buffer address; r8: save rdi\r
\r
; IN VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoWriteFifo8)\r
-ASM_PFX(IoWriteFifo8):\r
+global ASM_PFX(SevIoWriteFifo8)\r
+ASM_PFX(SevIoWriteFifo8):\r
xchg rcx, rdx\r
xchg rsi, r8 ; rsi: buffer address; r8: save rsi\r
\r
;------------------------------------------------------------------------------\r
; VOID\r
; EFIAPI\r
-; IoWriteFifo16 (\r
+; SevIoWriteFifo16 (\r
; IN UINTN Port, // rcx\r
; IN UINTN Size, // rdx\r
; IN VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoWriteFifo16)\r
-ASM_PFX(IoWriteFifo16):\r
+global ASM_PFX(SevIoWriteFifo16)\r
+ASM_PFX(SevIoWriteFifo16):\r
xchg rcx, rdx\r
xchg rsi, r8 ; rsi: buffer address; r8: save rsi\r
\r
;------------------------------------------------------------------------------\r
; VOID\r
; EFIAPI\r
-; IoWriteFifo32 (\r
+; SevIoWriteFifo32 (\r
; IN UINTN Port, // rcx\r
; IN UINTN Size, // rdx\r
; IN VOID *Buffer // r8\r
; );\r
;------------------------------------------------------------------------------\r
-global ASM_PFX(IoWriteFifo32)\r
-ASM_PFX(IoWriteFifo32):\r
+global ASM_PFX(SevIoWriteFifo32)\r
+ASM_PFX(SevIoWriteFifo32):\r
xchg rcx, rdx\r
xchg rsi, r8 ; rsi: buffer address; r8: save rsi\r
\r