Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 3579629b513a15441821010184aefe9cad81c957)
+++ kernel/generic/include/typedefs.h	(revision 270bf4fe38f53f4a00441b4db82354b89ed7cf71)
@@ -47,14 +47,4 @@
 
 typedef struct {
-	uint64_t lo;
-	int64_t hi;
-} __attribute__ ((aligned(16))) int128_t;
-
-typedef struct {
-	uint64_t lo;
-	uint64_t hi;
-} __attribute__ ((aligned(16))) uint128_t;
-
-typedef struct {
 	volatile atomic_count_t count;
 } atomic_t;