#include <stdint.h>

typedef struct {
} reg_sec_gpioe_t;