42 	pt_msec_init(&msec, &sec, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in begin()
45 	ptu_uint_eq(begin, 0x2000);  in begin()
56 	pt_msec_init(&msec, &sec, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in end()
59 	ptu_uint_eq(end, 0x3000);  in end()
70 	pt_msec_init(&msec, &sec, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in offset()
73 	ptu_uint_eq(offset, 0x100ull);  in offset()
84 	pt_msec_init(&msec, &sec, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in size()
87 	ptu_uint_eq(size, 0x1000ull);  in size()
99 	asid.cr3 = 0xa00000ull;  in asid()
100 	asid.vmcs = 0xb00000ull;  in asid()
102 	pt_msec_init(&msec, NULL, &asid, 0x2000ull, 0x100ull, 0x1000ull);  in asid()
117 	pt_msec_init(&msec, NULL, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in asid_null()
132 	pt_msec_init(&msec, NULL, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in map()
134 	mapped = pt_msec_map(&msec, 0x900);  in map()
135 	ptu_uint_eq(mapped, 0x2800);  in map()
145 	pt_msec_init(&msec, NULL, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in unmap()
147 	offset = pt_msec_unmap(&msec, 0x3000);  in unmap()
148 	ptu_uint_eq(offset, 0x1100);  in unmap()
159 	pt_msec_init(&msec, &section, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in section()
172 	pt_msec_init(&msec, NULL, NULL, 0x2000ull, 0x100ull, 0x1000ull);  in section_null()