/*
 * dmazar: UEFI wrapper for Mach-O definitions
 * xnu/EXTERNAL_HEADERS/mach-o/loader.h
 *
 */

#ifndef _UEFI_MACHO_LOADER_H_
#define _UEFI_MACHO_LOADER_H_

//
// Base UEFI types
//
#include <Base.h>

//
// From xnu/EXTERNAL_HEADERS/stdint.h:
//  typedef u_int8_t              uint8_t;   /* u_int8_t is defined in <machine/types.h> */
//  typedef u_int16_t            uint16_t;   /* u_int16_t is defined in <machine/types.h> */
//  typedef u_int32_t            uint32_t;   /* u_int32_t is defined in <machine/types.h> */
//  typedef u_int64_t            uint64_t;   /* u_int64_t is defined in <machine/types.h> */
//

typedef UINT8             uint8_t;
typedef UINT16            uint16_t;
typedef UINT32            uint32_t;
typedef UINT64            uint64_t;

//
// From xnu/osfmk/mach/machine.h:
//  typedef integer_t	cpu_type_t;
//  typedef integer_t	cpu_subtype_t;
//
// From xnu/osfmk/mach/i386/vm_types.h:
//  typedef int			integer_t;
//
typedef INT32	cpu_type_t;
typedef INT32	cpu_subtype_t;

//
// From xnu/osfmk/mach/vm_prot.h:
// typedef int		vm_prot_t;
typedef INT32		vm_prot_t;

//
// And finally the xnu/EXTERNAL_HEADERS/mach-o/loader.h
//
//#include "loader.h"
#include <IndustryStandard/MachO-loader.h>

//
// Additionally, only needed thread state definitions for LC_UNIXTHREAD
// are included here to avoid more header files.
//

//
// From xnu/bsd/i386/types.h:
//  typedef unsigned long long	__uint64_t;
//
typedef UINT64	__uint64_t;

//
// From xnu/osfmk/mach/i386/_structs.h:
//

#define	_STRUCT_X86_THREAD_STATE32	struct __darwin_i386_thread_state
_STRUCT_X86_THREAD_STATE32
{
    // all fields are unsigned int in xnu rources
	  UINT32	eax;
    UINT32	ebx;
    UINT32	ecx;
    UINT32	edx;
    UINT32	edi;
    UINT32	esi;
    UINT32	ebp;
    UINT32	esp;
    UINT32	ss;
    UINT32	eflags;
    UINT32	eip;
    UINT32	cs;
    UINT32	ds;
    UINT32	es;
    UINT32	fs;
    UINT32	gs;
};

#define	_STRUCT_X86_THREAD_STATE64	struct __darwin_x86_thread_state64
_STRUCT_X86_THREAD_STATE64
{
	__uint64_t	rax;
	__uint64_t	rbx;
	__uint64_t	rcx;
	__uint64_t	rdx;
	__uint64_t	rdi;
	__uint64_t	rsi;
	__uint64_t	rbp;
	__uint64_t	rsp;
	__uint64_t	r8;
	__uint64_t	r9;
	__uint64_t	r10;
	__uint64_t	r11;
	__uint64_t	r12;
	__uint64_t	r13;
	__uint64_t	r14;
	__uint64_t	r15;
	__uint64_t	rip;
	__uint64_t	rflags;
	__uint64_t	cs;
	__uint64_t	fs;
	__uint64_t	gs;
};

//
// From xnu/osfmk/mach/i386/thread_status.h:
//
typedef _STRUCT_X86_THREAD_STATE32 i386_thread_state_t;
typedef _STRUCT_X86_THREAD_STATE64 x86_thread_state64_t;



#endif /* _UEFI_MACHO_LOADER_H_ */