Split and casting address into different integers in Ada

Question

To interface with a certain piece of hardware (in this case a TSS entry of an x86 GDT), it is required to use the following structure in memory:

type UInt32 i