l4_low_high_t Struct Reference
[Common types and defines]

64 Bit -> 32 Bit low/high conversion More...

#include <types.h>

Data Fields
l4_umword_t	low
	Low 32 Bits.
l4_umword_t	high
	High 32 Bits.

---

Detailed Description

64 Bit -> 32 Bit low/high conversion

Definition at line 20 of file ARCH-x86/L4API-l4v2/types.h.

---

The documentation for this struct was generated from the following file:

• ARCH-x86/L4API-l4v2/types.h