Searched refs:resident (Results 1 – 3 of 3) sorted by relevance
1055 bool resident = vcpu_resident(cs, vptaddr); in gicv3_redist_process_vlpi() local1058 if (resident) { in gicv3_redist_process_vlpi()1066 if (resident && bit_changed) { in gicv3_redist_process_vlpi()1080 if (!resident && level && doorbell != INTID_SPURIOUS && in gicv3_redist_process_vlpi()
53 with the hardware. This means that memory must be physically resident64 be pinned and resident in memory. This feature mostly affects the
12 enclave memory area from any software not resident in the enclave are prevented,