Searched refs:VCPU_PTR (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 323 return invokeVCPUWriteReg(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), field, value);
361 return invokeVCPUReadReg(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), field, call);
386 vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
401 vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
493 vcpu_t *vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
542 return invokeVCPUSetTCB(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), TCB_PTR(cap_thread_cap_get_capTCBPtr(tcbCap)));
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 102 #define VCPU_PTR(r) ((struct vcpu *)(r)) macro
231 return VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 52 #define VCPU_PTR(r) ((struct vcpu *)(r)) macro
380 return VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 525 return invokeVCPUWriteRegisters(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), buffer);
579 vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
606 vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap));
740 return invokeWriteVMCS(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), buffer, field, value);
869 return invokeReadVMCS(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), field, buffer);
896 return invokeSetTCB(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), TCB_PTR(cap_thread_cap_get_capTCBPtr(tcbCap)));
|
| H A D | objecttype.c | 245 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
465 vcpu = VCPU_PTR((word_t)regionBase);
|
| /seL4-camkes-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 223 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
513 vcpu_init(VCPU_PTR(regionBase));
|
| /seL4-camkes-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 212 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
465 vcpu_init(VCPU_PTR(regionBase));
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
| H A D | structures.h | 115 #define VCPU_PTR(r) ((vcpu_t *)(r)) macro
|
Completed in 177 milliseconds