Lines Matching refs:within_pa_width
74 bool within_pa_width = is_within_pa_width(guest_cr3);
75 assert(within_pa_width);
909 bool within_pa_width = is_within_pa_width(host_cr3);
910 assert(within_pa_width);
1120 bool within_pa_width;
1156 within_pa_width = is_within_pa_width(eptp);
1157 assert(within_pa_width);
1170 within_pa_width = is_within_pa_width(vexcp_info_addr);
1171 assert(within_pa_width);
1205 bool within_pa_width = is_within_pa_width(msr_bitmap_addr);
1206 assert(within_pa_width);
1211 within_pa_width = is_within_pa_width(io_bitmap_a_addr);
1212 assert(within_pa_width);
1216 within_pa_width = is_within_pa_width(io_bitmap_b_addr);
1217 assert(within_pa_width);
1231 within_pa_width = is_within_pa_width(vapic_addr);
1232 assert(within_pa_width);
1269 within_pa_width = is_within_pa_width(apic_access_addr);
1270 assert(within_pa_width);
1296 within_pa_width = is_within_pa_width(pid_addr);
1297 assert(within_pa_width);
1315 within_pa_width = is_within_pa_width(vmread_bitmap_addr);
1316 assert(within_pa_width);
1319 within_pa_width = is_within_pa_width(vmwrite_bitmap_addr);
1320 assert(within_pa_width);