1#include <inttypes.h>
2typedef uint32_t mpers_ptr_t;
3typedef
4struct {
5uint64_t d_ino;
6uint64_t d_off;
7uint16_t d_reclen;
8char d_name[1];
9unsigned char mpers_end_filler_1[5];
10} ATTRIBUTE_PACKED mx32_kernel_dirent;
11#define MPERS_mx32_kernel_dirent mx32_kernel_dirent
12