Re: [PATCH 0/3] Convert ppc and microblaze devices to new ptimer API

2019-10-24 Thread Peter Maydell
On Thu, 17 Oct 2019 at 14:21, Peter Maydell wrote: > > This patchset converts the devices used by ppc and microblaze > machines to the new ptimer API. (xilinx_timer is used by both, > hence putting both archs in the same patchset). > > Currently the ptimer design uses a QEMU bottom-half as its mec

Re: [PATCH 0/3] Convert ppc and microblaze devices to new ptimer API

2019-10-17 Thread Peter Maydell
On Thu, 17 Oct 2019 at 14:21, Peter Maydell wrote: > > This patchset converts the devices used by ppc and microblaze > machines to the new ptimer API. (xilinx_timer is used by both, > hence putting both archs in the same patchset). Apologies for the duplicate cover-letter: messed up the git-send-

[PATCH 0/3] Convert ppc and microblaze devices to new ptimer API

2019-10-17 Thread Peter Maydell
This patchset converts the devices used by ppc and microblaze machines to the new ptimer API. (xilinx_timer is used by both, hence putting both archs in the same patchset). Currently the ptimer design uses a QEMU bottom-half as its mechanism for calling back into the device model using the ptimer

[PATCH 0/3] Convert ppc and microblaze devices to new ptimer API

2019-10-17 Thread Peter Maydell
This patchset converts the devices used by ppc and microblaze machines to the new ptimer API. (xilinx_timer is used by both, hence putting both archs in the same patchset). Currently the ptimer design uses a QEMU bottom-half as its mechanism for calling back into the device model using the ptimer