]> xenbits.xensource.com Git - mini-os.git/commit
Mini-OS: get own domid
authorJuergen Gross <jgross@suse.com>
Tue, 21 Nov 2023 09:49:50 +0000 (10:49 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 21 Nov 2023 21:05:11 +0000 (21:05 +0000)
commitb702dbdfc0dec45491abc9e31e23c37f95293b5b
tree006ec62c7d7e16219677d2958118e6be8461e9b0
parent2be31de8351007b1840bc675c723d0c65f4b0f68
Mini-OS: get own domid

Get the own domid via creation of a temporary event channel. There is
no "official" way to read the own domid in PV guests, so use the event
channel interface to get it:

- allocate an unbound event channel specifying DOMID_SELF for the
  other end

- read the event channel status which will contain the own domid in
  unbound.dom

- close the event channel

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
events.c
include/lib.h