commit	9311c9aaf8cb0a1a47cf792b5bd3c6f673f4d51b	[log] [tgz]
author	Andrew Walbran <qwandor@google.com>	Tue Mar 12 16:59:04 2019 +0000
committer	Andrew Walbran <qwandor@google.com>	Mon Mar 18 17:14:44 2019 +0000
tree	73b4aca880937f5e88c06d632d92f836d4e73c3a
parent	48196eb53fa471921f1822ba1ddc1e5ec7d19809 [diff]

hf_mailbox_receive should not block if there is a pending interrupt.

This matches the behaviour of WFI, which only traps (and so causes Hafnium
to block the vCPU) if there is not currently a pending interrupt, ignoring
PSTATE.

Bug: 127686530
Change-Id: I06ef4513d3b9f5adf7988f6f77c178cba40b1762

inc/vmapi/hf/call.h[diff]
src/api.c[diff]
test/vmapi/gicv3/services/timer.c[diff]
test/vmapi/gicv3/timer_secondary.c[diff]
test/vmapi/primary_with_secondaries/interrupts.c[diff]
test/vmapi/primary_with_secondaries/services/BUILD.gn[diff]
test/vmapi/primary_with_secondaries/services/receive_block.c[Added - diff]

7 files changed

tree: 73b4aca880937f5e88c06d632d92f836d4e73c3a

build/
docs/
driver/
inc/
kokoro/
project/
src/
test/
third_party/
prebuilts
.clang-format
.clang-tidy
.gitignore
.gitmodules
.gn
AUTHORS
BUILD.gn
CONTRIBUTING.md
LICENSE
Makefile
README.md

README.md

Hafnium

Hafnium is a hypervisor, initially supporting aarch64 (64-bit ARMv8 CPUs).

Get in touch and keep up-to-date at hafnium-discuss@googlegroups.com.

Getting started

To jump in and build Hafnium, follow the getting started instructions.