* Inline access to host state that is used on every VM entry */
| 59 | * Inline access to host state that is used on every VM entry |
| 60 | */ |
| 61 | static __inline uint64_t |
| 62 | vmm_get_host_trbase(void) |
| 63 | { |
| 64 | |
| 65 | return ((uint64_t)PCPU_GET(tssp)); |
| 66 | } |
| 67 | |
| 68 | static __inline uint64_t |
| 69 | vmm_get_host_gdtrbase(void) |
no outgoing calls
no test coverage detected