Lines Matching refs:head
179 unsigned long mfn, tail, head; in guest_iommu_add_ppr_log() local
191 head = iommu_get_rb_pointer(iommu->ppr_log.reg_head.lo); in guest_iommu_add_ppr_log()
193 if ( tail >= iommu->ppr_log.entries || head >= iommu->ppr_log.entries ) in guest_iommu_add_ppr_log()
228 unsigned long mfn, tail, head; in guest_iommu_add_event_log() local
240 head = iommu_get_rb_pointer(iommu->event_log.reg_head.lo); in guest_iommu_add_event_log()
242 if ( tail >= iommu->event_log.entries || head >= iommu->event_log.entries ) in guest_iommu_add_event_log()
471 unsigned long opcode, tail, head, entries_per_page, cmd_mfn; in guest_iommu_process_command() local
481 head = iommu_get_rb_pointer(iommu->cmd_buffer.reg_head.lo); in guest_iommu_process_command()
489 head >= iommu->cmd_buffer.entries ) in guest_iommu_process_command()
498 while ( head != tail ) in guest_iommu_process_command()
504 sizeof(cmd_entry_t), head); in guest_iommu_process_command()
508 cmd = cmd_base + head % entries_per_page; in guest_iommu_process_command()
537 "head = %ld\n", opcode, head); in guest_iommu_process_command()
542 if ( ++head >= iommu->cmd_buffer.entries ) in guest_iommu_process_command()
543 head = 0; in guest_iommu_process_command()
549 iommu_set_rb_pointer(&iommu->cmd_buffer.reg_head.lo, head); in guest_iommu_process_command()