mmio_dev_alloc_gpa_resource32 (reference) in projects: devicemodel

Searched refs:mmio_dev_alloc_gpa_resource32 (Results 1 – 3 of 3) sorted by relevance

/devicemodel/include/
A D	mmio_dev.h	`40 int mmio_dev_alloc_gpa_resource32(uint32_t *addr, uint32_t size_in);`
/devicemodel/hw/mmio/
A D	core.c	`73 int mmio_dev_alloc_gpa_resource32(uint32_t *addr, uint32_t size_in) in mmio_dev_alloc_gpa_resource32() function 254 ret = mmio_dev_alloc_gpa_resource32(&base, mmiodev->res[0].size); in init_mmio_dev()`
/devicemodel/hw/platform/tpm/
A D	tpm.c	`172 !mmio_dev_alloc_gpa_resource32(&base, tpm2.laml)) { in init_tpm2_pt() 269 if (mmio_dev_alloc_gpa_resource32(&vtpm_crb_mmio_addr, TPM_CRB_MMIO_SIZE) < 0) { in init_vtpm2()`

Completed in 8 milliseconds