memcmp_g
memcmp_g(base_gpa, def_p, PER_CPU_DATA_SIZE);
memcmp_g(base_gpa, init_p, PER_CPU_DATA_SIZE);
memcmp_g(gpa, p2, size);
memcmp_g(base_gpa, init_p, gpa - base_gpa);
memcmp_g(gpa + size, init_p,
memcmp_g(gpa + j, p3, PAGE_SIZE);
memcmp_g(gpa, p4, size);
memcmp_g(gpa, init_p, size);
memcmp_g(base_gpa, init_p, PER_CPU_DATA_SIZE);
memcmp_g(gpa, 0, size);