Home
last modified time | relevance | path

Searched full:mpxy (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/contrib/device-tree/Bindings/clock/
H A Driscv,rpmi-mpxy-clock.yaml4 $id: http://devicetree.org/schemas/clock/riscv,rpmi-mpxy-clock.yaml#
15 software can send/receive RPMI messages via SBI MPXY extension [2]
20 (machine mode firmware or hypervisor) can implement an SBI MPXY channel
37 const: riscv,rpmi-mpxy-clock
44 riscv,sbi-mpxy-channel-id:
47 The SBI MPXY channel id to be used for providing RPMI access to
53 - riscv,sbi-mpxy-channel-id
60 compatible = "riscv,rpmi-mpxy-clock";
62 riscv,sbi-mpxy-channel-id = <0x1000>;
H A Driscv,rpmi-clock.yaml15 software can send/receive RPMI messages via SBI MPXY extension [2]
20 software can access RPMI clock service group via SBI MPXY channel or
/freebsd/sys/contrib/device-tree/Bindings/interrupt-controller/
H A Driscv,rpmi-mpxy-system-msi.yaml4 $id: http://devicetree.org/schemas/interrupt-controller/riscv,rpmi-mpxy-system-msi.yaml#
15 software can send/receive RPMI messages via SBI MPXY extension [2]
23 implement an SBI MPXY channel to allow RPMI system MSI service
40 const: riscv,rpmi-mpxy-system-msi
47 riscv,sbi-mpxy-channel-id:
50 The SBI MPXY channel id to be used for providing RPMI access to
56 - riscv,sbi-mpxy-channel-id
63 compatible = "riscv,rpmi-mpxy-system-msi";
65 riscv,sbi-mpxy-channel-id = <0x2000>;
H A Driscv,rpmi-system-msi.yaml15 software can send/receive RPMI messages via SBI MPXY extension [2]
23 SBI MPXY channel or some dedicated supervisor-mode RPMI transport.
/freebsd/sys/contrib/device-tree/Bindings/mailbox/
H A Driscv,sbi-mpxy-mbox.yaml4 $id: http://devicetree.org/schemas/mailbox/riscv,sbi-mpxy-mbox.yaml#
7 title: RISC-V SBI Message Proxy (MPXY) extension based mailbox
13 The RISC-V SBI Message Proxy (MPXY) extension [1] allows supervisor
17 other standard protocol compatible with the SBI MPXY extension
32 const: riscv,sbi-mpxy-mbox
37 The first cell specifies channel_id of the SBI MPXY channel,
38 the second cell specifies MSG_PROT_ID of the SBI MPXY channel
49 compatible = "riscv,sbi-mpxy-mbox";