HomeSort by relevance Sort by last modified time
    Searched refs:domain_id (Results 1 - 4 of 4) sorted by null

  /external/valgrind/include/vki/
vki-xen-schedop.h 41 vki_xen_domid_t domain_id; member in struct:vki_xen_remote_shutdown
  /device/linaro/bootloader/arm-trusted-firmware/plat/arm/css/drivers/scmi/
scmi_pwr_dmn_proto.c 16 int scmi_pwr_state_set(void *p, uint32_t domain_id,
39 domain_id, scmi_pwr_state);
56 int scmi_pwr_state_get(void *p, uint32_t domain_id,
72 SCMI_PAYLOAD_ARG1(mbx_mem->payload, domain_id);
scmi.h 122 int scmi_pwr_state_set(void *p, uint32_t domain_id, uint32_t scmi_pwr_state);
123 int scmi_pwr_state_get(void *p, uint32_t domain_id, uint32_t *scmi_pwr_state);
  /external/valgrind/coregrind/m_syswrap/
syswrap-xen.c 406 PRE_XEN_SCHEDOP_READ(remote_shutdown, domain_id);
    [all...]

Completed in 142 milliseconds