summaryrefslogtreecommitdiffhomepage
path: root/dev/kernel/FirmwareKit/EFI
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2025-03-31 22:14:55 +0200
committerGitHub <noreply@github.com>2025-03-31 22:14:55 +0200
commit6849e75f2e95e88b43e2f8804abf1b862e3981cb (patch)
tree2f517be98baf5b782c8f3718dc0beb4dc460d3ce /dev/kernel/FirmwareKit/EFI
parent33a94b84237afa61d2f15fa158664137724d60a4 (diff)
parentfd288fed29eff48503abf842676085701e04c38d (diff)
Merge pull request #3 from amlel-el-mahrouss/dev
pr/general: a set of patches to be pushed into master.
Diffstat (limited to 'dev/kernel/FirmwareKit/EFI')
-rw-r--r--dev/kernel/FirmwareKit/EFI/EFI.h14
1 files changed, 3 insertions, 11 deletions
diff --git a/dev/kernel/FirmwareKit/EFI/EFI.h b/dev/kernel/FirmwareKit/EFI/EFI.h
index 3c3ffa09..1e6de42c 100644
--- a/dev/kernel/FirmwareKit/EFI/EFI.h
+++ b/dev/kernel/FirmwareKit/EFI/EFI.h
@@ -201,18 +201,10 @@ typedef enum EfiAllocateType
typedef struct EfiMemoryDescriptor
{
- ///
- /// Kind of the memory region.
- /// Kind EFI_MEMORY_TYPE is defined in the
- /// AllocatePages() function description.
- ///
+ /// @brief Kind of the memory region.
UInt32 Kind;
- ///
- /// Physical address of the first byte in the memory region. PhysicalStart
- /// must be aligned on a 4 KiB boundary, and must not be above
- /// 0xfffffffffffff000. Kind EFI_PHYSICAL_ADDRESS is defined in the
- /// AllocatePages() function description
- ///
+
+ /// @brief Physical address of the first byte in the memory region. PhysicalStart
EfiPhysicalAddress PhysicalStart;
///
/// Virtual address of the first byte in the memory region.