static inline UINT32 VBoxWriteNVRAMGuidParam(const EFI_GUID *pGuid) { ASMOutU32(EFI_VARIABLE_OP, EFI_VM_VARIABLE_OP_GUID); return VBoxWriteNVRAMByteArrayParam((UINT8 *)pGuid, sizeof(EFI_GUID)); }
DECLINLINE(UINT32) VBoxWriteNVRAMGuidParam(const EFI_GUID *pGuid) { ASMOutU32(EFI_PORT_VARIABLE_OP, EFI_VM_VARIABLE_OP_GUID); return VBoxWriteNVRAMByteArrayParam((UINT8 *)pGuid, sizeof(EFI_GUID)); }