Searched refs:register_t (Results 1 - 5 of 5) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/
H A Dframe.h55 register_t tf_spsr; /* Zero on arm26 */
56 register_t tf_r0;
57 register_t tf_r1;
58 register_t tf_r2;
59 register_t tf_r3;
60 register_t tf_r4;
61 register_t tf_r5;
62 register_t tf_r6;
63 register_t tf_r7;
64 register_t tf_r
[all...]
H A Dtypes.h61 typedef INT32 register_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dtypes.h61 typedef INT32 register_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Dtypes.h51 typedef INTN register_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dtypes.h54 typedef INTN register_t; typedef

Completed in 53 milliseconds