4 typedef unsigned gfp_t;
5 typedef unsigned long size_t;
6 void *__kmalloc( size_t size, gfp_t flags);
7 void kfree(const void *objp);
10 t1 = gettimeofday_us()
12 for (i = 1, 1000, 1) {
13 local object = C.__kmalloc(128, 208) #GFP_KERNEL is 208
17 t2 = gettimeofday_us()
19 printf("execution time: %d us\n", t2 - t1)