#include <inttypes.h>
typedef uint32_t mpers_ptr_t;
typedef
struct {
uint64_t d_ino;
uint64_t d_off;
uint16_t d_reclen;
char d_name[1];
unsigned char mpers_end_filler_1[5];
} ATTRIBUTE_PACKED mx32_kernel_dirent;
#define MPERS_mx32_kernel_dirent mx32_kernel_dirent