BaseRiscVMmuLib.h File Reference

Go to the source code of this file.

Functions
VOID EFIAPI	RiscVLocalTlbFlushAll (VOID)
VOID EFIAPI	RiscVLocalTlbFlush (UINTN VirtAddr)
EFI_STATUS EFIAPI	RiscVSetMemoryAttributes (IN EFI_PHYSICAL_ADDRESS BaseAddress, IN UINT64 Length, IN UINT64 Attributes)
EFI_STATUS EFIAPI	RiscVConfigureMmu (VOID)

Detailed Description

Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.
Copyright (c) 2023, Ventana Micro Systems Inc. All Rights Reserved.

SPDX-License-Identifier: BSD-2-Clause-Patent

Definition in file BaseRiscVMmuLib.h.

Function Documentation

RiscVConfigureMmu()

EFI_STATUS EFIAPI RiscVConfigureMmu

(

VOID

)

The API to configure and enable RISC-V MMU with the highest mode supported.

Return values

EFI_OUT_OF_RESOURCES	Not enough resource.
EFI_SUCCESS	The operation succesfully.

Definition at line 764 of file BaseRiscVMmuLib.c.

RiscVLocalTlbFlush()

VOID EFIAPI RiscVLocalTlbFlush

(

UINTN

VirtAddr

)

The API to flush local TLB at a virtual address.

Parameters

VirtAddr

The virtual address.

RiscVLocalTlbFlushAll()

VOID EFIAPI RiscVLocalTlbFlushAll

(

VOID

)

The API to flush all local TLBs.

RiscVSetMemoryAttributes()

EFI_STATUS EFIAPI RiscVSetMemoryAttributes	(	IN EFI_PHYSICAL_ADDRESS	BaseAddress,
		IN UINT64	Length,
		IN UINT64	Attributes
	)

The API to set a GCD attribute on an memory region.

Parameters

BaseAddress	The base address of the region.
Length	The length of the region.
Attributes	The GCD attributes.

Return values

EFI_INVALID_PARAMETER	The BaseAddress or Length was not valid.
EFI_OUT_OF_RESOURCES	Not enough resource.
EFI_SUCCESS	The operation succesfully.

Definition at line 587 of file BaseRiscVMmuLib.c.