diff options
| author | kmacy <kmacy@FreeBSD.org> | 2006-11-26 04:37:49 +0000 |
|---|---|---|
| committer | kmacy <kmacy@FreeBSD.org> | 2006-11-26 04:37:49 +0000 |
| commit | d388f0af90346e7727e68e4952c4c96d4fd15ba3 (patch) | |
| tree | 7004ddd3634d3eceee952d0ee70cca9ff8c14509 /sys/sun4v/include/hv_api.h | |
| parent | 41b733910f79521c276dd8d63cf2987b2369fb5b (diff) | |
| download | FreeBSD-src-d388f0af90346e7727e68e4952c4c96d4fd15ba3.zip FreeBSD-src-d388f0af90346e7727e68e4952c4c96d4fd15ba3.tar.gz | |
add interrupt cookie hypervisor functions
Diffstat (limited to 'sys/sun4v/include/hv_api.h')
| -rw-r--r-- | sys/sun4v/include/hv_api.h | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/sys/sun4v/include/hv_api.h b/sys/sun4v/include/hv_api.h index 62f0b59..b366507 100644 --- a/sys/sun4v/include/hv_api.h +++ b/sys/sun4v/include/hv_api.h @@ -52,6 +52,7 @@ typedef uint64_t io_addr_t; * Section 10 Domain Services */ +extern void hv_mach_exit(uint64_t exit_code); extern uint64_t hv_mach_desc(uint64_t buffer_ra, uint64_t *buffer_sizep); extern uint64_t hv_mach_watchdog(uint64_t timeout, uint64_t *time_remaining); @@ -75,7 +76,7 @@ typedef struct hv_tsb_info { uint16_t hti_assoc; /* associativity of TSB */ uint32_t hti_ntte; /* size of TSB in TTEs */ uint32_t hti_ctx_index; /* context index */ - uint32_t hti_pgszs; /* page size bitmasx */ + uint32_t hti_pgszs; /* page size bitmask */ uint64_t hti_ra; /* real address of TSB base */ uint64_t hti_rsvd; /* reserved */ } hv_tsb_info_t; @@ -102,6 +103,16 @@ extern uint64_t hv_intr_setstate(uint64_t sysino, int state); extern uint64_t hv_intr_gettarget(uint64_t sysino, int *cpuid); extern uint64_t hv_intr_settarget(uint64_t sysino, int cpuid); +extern uint64_t hv_vintr_getcookie(devhandle_t dh, uint64_t devino, uint64_t *cookie); +extern uint64_t hv_vintr_setcookie(devhandle_t dh, uint64_t devino, uint64_t cookie); +extern uint64_t hv_vintr_getenabled(devhandle_t dh, uint64_t devino, int *enabled); +extern uint64_t hv_vintr_setenabled(devhandle_t dh, uint64_t devino, int enabled); +extern uint64_t hv_vintr_getstate(devhandle_t dh, uint64_t devino, int *state); +extern uint64_t hv_vintr_setstate(devhandle_t dh, uint64_t devino, int state); +extern uint64_t hv_vintr_gettarget(devhandle_t dh, uint64_t devino, int *cpuid); +extern uint64_t hv_vintr_settarget(devhandle_t dh, uint64_t devino, int cpuid); + + /* * Section 15 Time of Day Services */ |
