Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 3579629b513a15441821010184aefe9cad81c957)
+++ kernel/generic/include/typedefs.h	(revision 0e4c5f0b7a21f09f35471fba7a626dff3790ce97)
@@ -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;