297 	vm_map_offset_t fault_phys_offset)  in VMP_CS_FOR_OFFSET()  argument
299 	assertf(fault_phys_offset < PAGE_SIZE &&  in VMP_CS_FOR_OFFSET()
300 	    !(fault_phys_offset & FOURK_PAGE_MASK),  in VMP_CS_FOR_OFFSET()
301 	    "offset 0x%llx\n", (uint64_t)fault_phys_offset);  in VMP_CS_FOR_OFFSET()
302 	return 1 << (fault_phys_offset >> FOURK_PAGE_SHIFT);  in VMP_CS_FOR_OFFSET()
308 	vm_map_offset_t fault_phys_offset)  in VMP_CS_VALIDATED()  argument
312 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_VALIDATED()
316 	return p->vmp_cs_validated & VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_VALIDATED()
322 	vm_map_offset_t fault_phys_offset)  in VMP_CS_TAINTED()  argument
326 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_TAINTED()
330 	return p->vmp_cs_tainted & VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_TAINTED()
336 	vm_map_offset_t fault_phys_offset)  in VMP_CS_NX()  argument
340 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_NX()
344 	return p->vmp_cs_nx & VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_NX()
350 	vm_map_offset_t fault_phys_offset,  in VMP_CS_SET_VALIDATED()  argument
355 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_SET_VALIDATED()
360 		p->vmp_cs_validated |= VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_VALIDATED()
365 		p->vmp_cs_validated &= ~VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_VALIDATED()
372 	vm_map_offset_t fault_phys_offset,  in VMP_CS_SET_TAINTED()  argument
377 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_SET_TAINTED()
382 		p->vmp_cs_tainted |= VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_TAINTED()
387 		p->vmp_cs_tainted &= ~VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_TAINTED()
394 	vm_map_offset_t fault_phys_offset,  in VMP_CS_SET_NX()  argument
399 	    (uint64_t)fault_page_size, (uint64_t)fault_phys_offset);  in VMP_CS_SET_NX()
404 		p->vmp_cs_nx |= VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_NX()
409 		p->vmp_cs_nx &= ~VMP_CS_FOR_OFFSET(fault_phys_offset);  in VMP_CS_SET_NX()
1606 	vm_map_offset_t fault_phys_offset);
1610 	vm_map_offset_t fault_phys_offset,